Startup class for DrJava consisting entirely of static members. The main method reads the .drjava file (creating
one if none exists) to get the critical information required to start the main JVM for DrJava:
(i) the location of tools.jar in the Java JDK installed on this machine (so DrJava can invoke the javac compiler
stored in tools.jar)
(ii) the argument string for invoking the main JVM (notably -X options used to determine maximum heap size, etc.)
version: $Id: DrJava.java 4267 2007-11-26 23:02:36Z mgricken $
Initializes the configuration object with the current notion of the properties file.
throws: IllegalStateException - if config has already been assigned