When running under 1.4, a 1.4 tools.jar will now be
correctly detected. Also improved dialog text, indicating the current Java version and the version of the tools.jar that has been selected.
M src/edu/rice/cs/drjava/DrJava.java
Authored by: mgricken 2006-08-21
Parent: [r3980]
Child: [r3982]
