DrJava Legacy SVN Repository

DynamicJava: Implemented JLSTypeSystem, which attempts to faithfully match the algorithms specified in JLS and implemented by javac.

For EvaluatorExceptions, we now pass a String message and an array
of StackTraceElements instead of a Throwable. The latter was not
guaranteed to be serializable.

Changed the JarOptionsDialog to make Jar All and the
Jar Sources/Jar Classes options mutually exclusive,
but the Executable options available also if only Jar All
is selected. Allowing jar creation to proceed if duplicate
entry errors in a JAR file occur.
Disabled a log file that was left on.

M src/edu/rice/cs/drjava/ui/JarOptionsDialog.java
M src/edu/rice/cs/drjava/ui/MainFrameTest.java

Fixed a typo and updated the docs.jar file compiled into DrJava.

Updated plt.jar, including SwingUtil.showApplet method.

PLT Utilities: Added SwingUtil.showApplet() methods and the AppletComponent class for support.

Made documentation changes to reflect the ability to specify a main document as a class name directly, and its implications for running inner classes.

Made documentation changes to reflect new jar options. All files, and custom manifest support; basically.

Jar All now works. It jars everything in the project root, and also jars all classes in the build path (the distinction is only important if the two are different). Selecting a main class is broken in current dr java release; it is now less broken, in that you can at least navigate to and select a file, however converting it to a properly qualified class name does not yet work. Will revisit after documentation is updated.

Deleting unnecessary branch.