JRE 1.7 Compliance

Had to fiddle with Eclipse settings a bit, but eventually just added
the correct JRE to the build path.