PORT-134: Update the build so that it takes the JDK version from a
separate build.properties file. Also moved the version information into
this file so that all overrides are stored in the same place.