DrJava Legacy SVN Repository

Cleaned up and fixed JavadocModel and related code. The JavadocModel is now produced by a JDKToolsLibrary, allowing it to be used with an arbitrary tools.jar file (not necessarily on the current class path). Moved Javadoc-related classes into a javadoc package. Updated plt.jar.

Added methods to ConcurrentUtil to support handling a process's streams; added containsAny() and containsAll() to TextUtil

Moved JUnit dialog positioning code from the close handler to the open handler.

Fixed the JUnitPanel so that the Close button on the stack trace display actually closed the window.

Added a "benchmark" target

DrJava will now remember whether it is maxamized or not and return to that state on start-up.

Files modified:
M ui/MainFrame.java
M config/OptionConstants.java

This revision provides a fast path through the caretUpdate method in
the PostionListener attached to the DefinitionsPane (all of the code
is in MainFrame.java). The fast path applies to inserting consecutive
characters.

The following file was modified.

M src/edu/rice/cs/drjava/ui/MainFrame.java

Modified the signature of InterpreterJVM to avoid Iterable -- apparently RMIC and Retroweaver clash when used together.

Modified code dealing with class paths to consistently use Iterable<File> instead URL-based objects like ClassPathVector and ClassPathEntry. Since class paths never consist of arbitrary URLs, the difficulty of maintaining such a representation is not necessary, and leads to a lot of ugly code. (Also updated plt.jar to the latest version.)

Made ConsList serializable; added a getProperties() method to ConcurrentUtil to get a filtered list of current properties; improved log-creation process (added support for a plt.log.factory property pointing to a static method); Dan discovered that "insure" is spelled "ensure" when you're not talking about money