Still does not work when DrJava is launched by JRE, not JDK; does not
find JDK's compiler. However, at least this prevents the NullPointerException.
Authored by: mgricken 2011-08-19
Parent: [r5445]
Child: [r5447]