DrJava Legacy SVN Repository

- Position objects are wrapped in WrappedPositions.
- A DefinitionsDocument remembers all WrappedPositions it creates
using a LinkedList of WeakReferences.
- When a document is kicked out of the cache, the DDReconstructor
stores the WrappedPositions and their current indices in a
WeakHashMap.
- When a document is restored, the DDReconstructor re-creates
the Position objects and updates all WrappedPositions.

Added "Scan Class Files after Each Compile" option:
- This allows auto-completion even of inner class names.

M src/edu/rice/cs/drjava/model/debug/Breakpoint.java
M src/edu/rice/cs/drjava/model/GlobalModel.java
M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
M src/edu/rice/cs/drjava/model/DummyGlobalModel.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/model/FileGroupingState.java
M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
M src/edu/rice/cs/drjava/ui/config/ConfigFrame.java