DrJava Legacy SVN Repository

Working on documentation.

Incomplete documentation update to reflect the new
Functional Java language level. Still needs more
detailed description.

M drjava/lib/docs.jar
M docs/src/user/userdoc.docbook

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