Makes the java_home setting into a property that can be overridden.