How do I change the version of Java used by DrJava?
To change the compiler version, simply select an entry from the drop-down list in the “Compiler Output” tab. Note that this list only includes compilers found by an extensive, but not comprehensive, search of typical install locations, and that after an initial search, any duplicates with the same major JDK version number are filtered out. (You can point to a specific compiler with Edit->Preferences->Resource Locations->Tools.Jar Location.) Also note that DrJava cannot run a compiler for a Java version more recent than the one used to run the DrJava application (read on for a solution). To change the version of Java used to run the DrJava application, you will need to change your system settings so that DrJava starts up under the correct version. may experience problems if you try to run DrJava under one version and use a tools.jar file from a different version.) • In Windows, the last installed JRE generally becomes the default. Take a look at Sun’s installation instructions for detai
Related Questions
- The Java Plug-in, Version 1.6.0_05, has replaced JInitiator Plug-in, Version 1.3.1.28, as the primary engine used in running the Internet Data Collection System Electric Power Surveys. How do I install the new Java 1.6.0_05 Plug-in?
- How do I change the version of Java used by DrJava?
- What version of Java does DrJava require?
