Now also prints out the DrJava configuration file in the error window, just below the Java properties
Authored by: mgricken 2006-09-18
Parent: [r4004]
Child: [r4006]
