Modifying JDK use by the Eclipse project.