Instructions for setting DrJava to use 1.5
To set-up DrJava to use Java 1.5 instead of Java 1.4 do the following:
Find the location of the tools.jar file for Java 1.5
Set DrJava to use the 1.5 version of tools.jar
If you have the Java 1.5 run time installed and not the jdk it won't find a Java 1.5 version of the toos.jar. In this
case I would install the Java 1.5 jdk and then follow the above steps. You can download the 1.5 version of the jdk from http://java.sun.com.
Link to this Page