DrJava Legacy SVN Repository

If no line number map is available, create an identity map.
This now supports the new dj2 files which are just being
copied to java files.

Errors in .java files that were copied from .dj2 files
are now re-routed back to the .dj2 file.

DrJava now asks if the user wants to rename old
language level files so they have the new extensions.

Strange test failures in DefinitionsPaneTest, cannot tell if this is
anything I have done now.

Working on new language level support.

Added bash scripts to find files with incorrect svn:eol-style and svn:keywords.

Allowing conversion of .dj files too.

D javalanglevels/testFiles/forElementaryLevelTest/AFriend.java
M javalanglevels/src/edu/rice/cs/javalanglevels/TypeChecker.java
M javalanglevels/src/edu/rice/cs/javalanglevels/LanguageLevelConverter.java

Deleting branch, it has been merged into the trunk.

D https://drjava.svn.sourceforge.net/svnroot/drjava/branches/drjava-custombundle

drjava-custombundle branch merged back into trunk.

mgricken@... - ~/drjava/drjava.all/trunk/drjava
% svn merge -r 5222:head https://drjava.svn.sourceforge.net/svnroot/drjava/branches/drjava-custombundle
--- Merging r5223 through r5231 into '.':
U src/edu/rice/cs/drjava/DrJava.java
U src/edu/rice/cs/drjava/config/OptionConstants.java
U src/edu/rice/cs/drjava/config/SavableConfiguration.java
A src/edu/rice/cs/drjava/config/options.properties
U src/edu/rice/cs/drjava/config/FileConfiguration.java
U src/edu/rice/cs/drjava/config/Configuration.java
A src/edu/rice/cs/drjava/config/ResourceBundleConfiguration.java
U src/edu/rice/cs/drjava/config/OptionParser.java
U src/edu/rice/cs/drjava/config/Option.java
U src/edu/rice/cs/drjava/ui/MainFrame.java
A src/edu/rice/cs/drjava/ui/GenerateCustomDrJavaJarFrame.java
U src/edu/rice/cs/drjava/ui/config/LabelComponent.java
U src/edu/rice/cs/drjava/ui/config/IntegerOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/ToolbarOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
U src/edu/rice/cs/drjava/ui/config/DirectoryOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/FontOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/StringOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/ConfigPanel.java
U src/edu/rice/cs/drjava/ui/config/ForcedChoiceOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/ColorOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/FileOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/BooleanOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/OptionComponent.java
U src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponent.java
U src/edu/rice/cs/drjava/ui/config/ButtonComponent.java
U src/edu/rice/cs/drjava/ui/AboutDialog.java
U src/edu/rice/cs/drjava/ui/DrJavaErrorWindow.java
U src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java
A src/edu/rice/cs/util/MD5ChecksumProperties.java
U build.xml

Result:

_M drjava
M drjava/src/edu/rice/cs/drjava/DrJava.java
M drjava/src/edu/rice/cs/drjava/config/OptionConstants.java
M drjava/src/edu/rice/cs/drjava/config/SavableConfiguration.java
A + drjava/src/edu/rice/cs/drjava/config/options.properties
M drjava/src/edu/rice/cs/drjava/config/Configuration.java
M drjava/src/edu/rice/cs/drjava/config/FileConfiguration.java
A + drjava/src/edu/rice/cs/drjava/config/ResourceBundleConfiguration.java
M drjava/src/edu/rice/cs/drjava/config/OptionParser.java
M drjava/src/edu/rice/cs/drjava/config/Option.java
M drjava/src/edu/rice/cs/drjava/ui/MainFrame.java
A + drjava/src/edu/rice/cs/drjava/ui/GenerateCustomDrJavaJarFrame.java
M drjava/src/edu/rice/cs/drjava/ui/config/IntegerOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/ToolbarOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
M drjava/src/edu/rice/cs/drjava/ui/config/StringOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/FontOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/ConfigPanel.java
M drjava/src/edu/rice/cs/drjava/ui/config/ForcedChoiceOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/ButtonComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/LabelComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/DirectoryOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/ColorOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/FileOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/BooleanOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/OptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponent.java
M drjava/src/edu/rice/cs/drjava/ui/AboutDialog.java
M drjava/src/edu/rice/cs/drjava/ui/DrJavaErrorWindow.java
M drjava/src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java
A + drjava/src/edu/rice/cs/util/MD5ChecksumProperties.java
M drjava/build.xml

Feature request completed.

M src/edu/rice/cs/drjava/config/OptionConstants.java
M src/edu/rice/cs/drjava/config/options.properties
M src/edu/rice/cs/drjava/ui/MainFrame.java
M src/edu/rice/cs/drjava/ui/GenerateCustomDrJavaJarFrame.java
M src/edu/rice/cs/drjava/ui/AboutDialog.java
M src/edu/rice/cs/drjava/ui/DrJavaErrorWindow.java
M src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java

Added Tools/Advanced/Generate Custom drjava.jar menu item. Frame is
almost finished.

Still TODO:

1. Choose target file. Currently always writes to drjava-custom.jar.
2. CHange options.properties file to disable New Version checks.
3. Perhaps ignore or edit/merge MANIFEST.MF files.
4. Progress dialog that shows DrJava hasn't locked up.