This revision contains even more revisions to JarJDKToolsLibrary in an
attempt ot generate the baroque path names for tools.jar in Java 7 distributions for the Mac.
The following file was modified:
M drjava/src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
Authored by: rcartwright 2012-04-25
Parent: [r5539]
Child: [r5541]
