Re-add build.properties.with.jre