Chris Kauffman - 2015-09-30

I received a request from another user asking if a version of Dr Java is available with the above patch applied. There is at the link below. It is not an official version of DrJava but according to the license redistribution of the modified code is fine. Eventually it would be best to merge this and the other minor improvements we have made into the main distribution.

You can find the packaged jar here:
https://cs.gmu.edu/~kauffman/drjava/

A few caveats
- The distribution file is just a .jar; double clicking on windows will execute it though the icons won't look pretty
- Mac users may need to Ctrl-click on the jar and select Open to circumvent OSX's security checks
- Running the Jar on Macs seems to start DrJava as a tiny window to begin with which can be hard to see. Look around for a window which looks like just a titlebar with the close/minimize/maximize buttons and make it larger to see the application