run() Sets up all the major aspects of running the shell graphically, including
creating the main window and optionally starting the embedded Tomcat
server.
Compiles a logical module def. The caller can modify the specified module
def programmatically in some cases (this is needed for JUnit support, for
example).
Creates an instance of ShellModuleSpaceHost (or a derived class) using the
specified constituent parts. This method is made to be overridden for
subclasses that need to change the behavior of ShellModuleSpaceHost.
Parameters: logger - TreeLogger to use Parameters: typeOracle - Parameters: moduleDef - Parameters: genDir - ShellModuleSpaceHost instance
Loads a named module. This method can be overridden if the module def needs
to be tweaked (or even created) programmatically -- JUnit integration does
this, for example.