Commit 4a84b7d
committed
This revision fixes an insidious "Heisenbug" in DefinitionsDocument, where wr.get() for a WeakReference wr is executed a second time after being tested for non-null. Of course, the second reference will generate a NullPointerException if GC occurs between the two references. It also includes some minor cleanup of commented out code and some reformatting.
The following files were modified, added, or deleted:
modified: src/edu/rice/cs/drjava/CommandLineTest.java
modified: src/edu/rice/cs/drjava/ConfigFileTest.java
modified: src/edu/rice/cs/drjava/DependenciesTest.java
modified: src/edu/rice/cs/drjava/DrJava.java
modified: src/edu/rice/cs/drjava/DrJavaRestart.java
modified: src/edu/rice/cs/drjava/DrJavaRoot.java
modified: src/edu/rice/cs/drjava/DrJavaTestCase.java
modified: src/edu/rice/cs/drjava/IndentFiles.java
modified: src/edu/rice/cs/drjava/MainController.java
modified: src/edu/rice/cs/drjava/RemoteControlClient.java
modified: src/edu/rice/cs/drjava/RemoteControlServer.java
modified: src/edu/rice/cs/drjava/config/BinaryOpProperty.java
modified: src/edu/rice/cs/drjava/config/BooleanOption.java
modified: src/edu/rice/cs/drjava/config/BooleanOptionTest.java
modified: src/edu/rice/cs/drjava/config/ClassPathOption.java
modified: src/edu/rice/cs/drjava/config/ColorOption.java
modified: src/edu/rice/cs/drjava/config/ColorOptionTest.java
modified: src/edu/rice/cs/drjava/config/ConfigOptionListeners.java
modified: src/edu/rice/cs/drjava/config/ConfigProperty.java
modified: src/edu/rice/cs/drjava/config/Configuration.java
modified: src/edu/rice/cs/drjava/config/ConstantProperty.java
modified: src/edu/rice/cs/drjava/config/DefaultOptionMap.java
modified: src/edu/rice/cs/drjava/config/DrJavaActionProperty.java
modified: src/edu/rice/cs/drjava/config/DrJavaProperty.java
modified: src/edu/rice/cs/drjava/config/DrJavaPropertySetup.java
modified: src/edu/rice/cs/drjava/config/DrJavaPropertySetupTest.java
modified: src/edu/rice/cs/drjava/config/EagerProperty.java
modified: src/edu/rice/cs/drjava/config/FileConfiguration.java
modified: src/edu/rice/cs/drjava/config/FileListProperty.java
modified: src/edu/rice/cs/drjava/config/FileOption.java
modified: src/edu/rice/cs/drjava/config/FileProperty.java
modified: src/edu/rice/cs/drjava/config/FontOption.java
modified: src/edu/rice/cs/drjava/config/FontOptionTest.java
modified: src/edu/rice/cs/drjava/config/ForcedChoiceOption.java
modified: src/edu/rice/cs/drjava/config/ForcedChoiceOptionTest.java
modified: src/edu/rice/cs/drjava/config/FormatStrategy.java
modified: src/edu/rice/cs/drjava/config/IntegerOption.java
modified: src/edu/rice/cs/drjava/config/IntegerOptionTest.java
modified: src/edu/rice/cs/drjava/config/JavaSystemProperty.java
modified: src/edu/rice/cs/drjava/config/KeyStrokeOption.java
modified: src/edu/rice/cs/drjava/config/KeyStrokeOptionTest.java
modified: src/edu/rice/cs/drjava/config/LongOption.java
modified: src/edu/rice/cs/drjava/config/LongOptionTest.java
modified: src/edu/rice/cs/drjava/config/MutableFileProperty.java
modified: src/edu/rice/cs/drjava/config/NonNegativeIntegerOption.java
modified: src/edu/rice/cs/drjava/config/NonNegativeIntegerOptionTest.java
modified: src/edu/rice/cs/drjava/config/Option.java
modified: src/edu/rice/cs/drjava/config/OptionConstants.java
modified: src/edu/rice/cs/drjava/config/OptionEvent.java
modified: src/edu/rice/cs/drjava/config/OptionListener.java
modified: src/edu/rice/cs/drjava/config/OptionMap.java
modified: src/edu/rice/cs/drjava/config/OptionMapLoader.java
modified: src/edu/rice/cs/drjava/config/OptionMapLoaderTest.java
modified: src/edu/rice/cs/drjava/config/OptionParseException.java
modified: src/edu/rice/cs/drjava/config/OptionParser.java
modified: src/edu/rice/cs/drjava/config/ParseStrategy.java
modified: src/edu/rice/cs/drjava/config/PropertyMaps.java
modified: src/edu/rice/cs/drjava/config/QuaternaryOpProperty.java
modified: src/edu/rice/cs/drjava/config/RecursiveFileListProperty.java
modified: src/edu/rice/cs/drjava/config/ResourceBundleConfiguration.java
modified: src/edu/rice/cs/drjava/config/SavableConfiguration.java
modified: src/edu/rice/cs/drjava/config/SavableConfigurationTest.java
modified: src/edu/rice/cs/drjava/config/StringOption.java
modified: src/edu/rice/cs/drjava/config/StringOptionTest.java
modified: src/edu/rice/cs/drjava/config/TernaryOpProperty.java
modified: src/edu/rice/cs/drjava/config/UnaryOpProperty.java
modified: src/edu/rice/cs/drjava/config/VariableProperty.java
modified: src/edu/rice/cs/drjava/config/VectorOption.java
modified: src/edu/rice/cs/drjava/config/VectorOptionTest.java
modified: src/edu/rice/cs/drjava/model/AbstractDJDocument.java
modified: src/edu/rice/cs/drjava/model/AbstractDJDocumentTest.java
modified: src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
modified: src/edu/rice/cs/drjava/model/AlreadyOpenException.java
modified: src/edu/rice/cs/drjava/model/BrowserDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/BrowserHistoryManager.java
modified: src/edu/rice/cs/drjava/model/ClassAndInterfaceFinder.java
modified: src/edu/rice/cs/drjava/model/ClassAndInterfaceFinderTest.java
modified: src/edu/rice/cs/drjava/model/ClipboardHistoryModel.java
modified: src/edu/rice/cs/drjava/model/ConcreteRegionManager.java
modified: src/edu/rice/cs/drjava/model/DJDocument.java
modified: src/edu/rice/cs/drjava/model/DJError.java
modified: src/edu/rice/cs/drjava/model/DeadClassLoader.java
modified: src/edu/rice/cs/drjava/model/DefaultGlobalModel.java
modified: src/edu/rice/cs/drjava/model/DefaultLightWeightParsingControl.java
modified: src/edu/rice/cs/drjava/model/DocumentClosedException.java
modified: src/edu/rice/cs/drjava/model/DrJavaFileUtils.java
modified: src/edu/rice/cs/drjava/model/DummyDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/DummyGlobalModel.java
modified: src/edu/rice/cs/drjava/model/DummyGlobalModelListener.java
modified: src/edu/rice/cs/drjava/model/DummyGlobalModelTest.java
modified: src/edu/rice/cs/drjava/model/DummyOpenDefDoc.java
modified: src/edu/rice/cs/drjava/model/DummyOpenDefDocTest.java
modified: src/edu/rice/cs/drjava/model/EventNotifier.java
modified: src/edu/rice/cs/drjava/model/EventNotifierTest.java
modified: src/edu/rice/cs/drjava/model/FileGroupingState.java
modified: src/edu/rice/cs/drjava/model/FileMovedException.java
modified: src/edu/rice/cs/drjava/model/FileSaveSelector.java
modified: src/edu/rice/cs/drjava/model/Finalizable.java
modified: src/edu/rice/cs/drjava/model/FinalizationEvent.java
modified: src/edu/rice/cs/drjava/model/FinalizationListener.java
modified: src/edu/rice/cs/drjava/model/FindReplaceMachine.java
modified: src/edu/rice/cs/drjava/model/FindReplaceMachineTest.java
modified: src/edu/rice/cs/drjava/model/FindResult.java
modified: src/edu/rice/cs/drjava/model/GlobalEventNotifier.java
modified: src/edu/rice/cs/drjava/model/GlobalIndentTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModel.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileErrorsTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileIOTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessOptionsTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileSuccessTestCase.java
modified: src/edu/rice/cs/drjava/model/GlobalModelCompileTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelIOTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelJUnitTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelListener.java
modified: src/edu/rice/cs/drjava/model/GlobalModelOtherTest.java
modified: src/edu/rice/cs/drjava/model/GlobalModelTestCase.java
modified: src/edu/rice/cs/drjava/model/IDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/IHighlighted.java
modified: src/edu/rice/cs/drjava/model/ILoadDocuments.java
modified: src/edu/rice/cs/drjava/model/JDKDescriptor.java
modified: src/edu/rice/cs/drjava/model/JDKToolsLibrary.java
modified: src/edu/rice/cs/drjava/model/JarJDKToolsLibrary.java
modified: src/edu/rice/cs/drjava/model/LightWeightParsingControl.java
modified: src/edu/rice/cs/drjava/model/LightWeightParsingListener.java
modified: src/edu/rice/cs/drjava/model/MovingDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/MultiThreadedTestCase.java
modified: src/edu/rice/cs/drjava/model/MultiThreadedTestCaseTest.java
modified: src/edu/rice/cs/drjava/model/OpenDefinitionsDocument.java
modified: src/edu/rice/cs/drjava/model/OrderedDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/Query.java
modified: src/edu/rice/cs/drjava/model/Region.java
modified: src/edu/rice/cs/drjava/model/RegionManager.java
modified: src/edu/rice/cs/drjava/model/RegionManagerListener.java
modified: src/edu/rice/cs/drjava/model/SingleDisplayModel.java
modified: src/edu/rice/cs/drjava/model/SingleDisplayModelTest.java
modified: src/edu/rice/cs/drjava/model/StaticDocumentRegion.java
modified: src/edu/rice/cs/drjava/model/TestDocGetter.java
modified: src/edu/rice/cs/drjava/model/TestDocGetterTest.java
modified: src/edu/rice/cs/drjava/model/cache/DCacheAdapter.java
modified: src/edu/rice/cs/drjava/model/cache/DDReconstructor.java
modified: src/edu/rice/cs/drjava/model/cache/DocumentCache.java
modified: src/edu/rice/cs/drjava/model/cache/DocumentCacheTest.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerError.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerErrorModel.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerErrorModelTest.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerEventNotifier.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerInterface.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerListener.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerModel.java
modified: src/edu/rice/cs/drjava/model/compiler/CompilerOptions.java
modified: src/edu/rice/cs/drjava/model/compiler/DefaultCompilerModel.java
modified: src/edu/rice/cs/drjava/model/compiler/DummyCompilerListener.java
modified: src/edu/rice/cs/drjava/model/compiler/Javac160FilteringCompiler.java
modified: src/edu/rice/cs/drjava/model/compiler/JavacCompiler.java
modified: src/edu/rice/cs/drjava/model/compiler/LanguageLevelStackTraceMapper.java
modified: src/edu/rice/cs/drjava/model/compiler/NoCompilerAvailable.java
modified: src/edu/rice/cs/drjava/model/coverage/CoverageMetadata.java
modified: src/edu/rice/cs/drjava/model/coverage/JacocoClassLoader.java
modified: src/edu/rice/cs/drjava/model/debug/Breakpoint.java
modified: src/edu/rice/cs/drjava/model/debug/DebugBreakpointData.java
modified: src/edu/rice/cs/drjava/model/debug/DebugEventNotifier.java
modified: src/edu/rice/cs/drjava/model/debug/DebugException.java
modified: src/edu/rice/cs/drjava/model/debug/DebugListener.java
modified: src/edu/rice/cs/drjava/model/debug/DebugModelCallback.java
modified: src/edu/rice/cs/drjava/model/debug/DebugStackData.java
modified: src/edu/rice/cs/drjava/model/debug/DebugTestCase.java
modified: src/edu/rice/cs/drjava/model/debug/DebugThreadData.java
modified: src/edu/rice/cs/drjava/model/debug/DebugWatchData.java
modified: src/edu/rice/cs/drjava/model/debug/DebugWatchDataTest.java
modified: src/edu/rice/cs/drjava/model/debug/Debugger.java
modified: src/edu/rice/cs/drjava/model/debug/LineNotExecutableException.java
modified: src/edu/rice/cs/drjava/model/debug/NoDebuggerAvailable.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/DebugAction.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/DebugContextTest.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/DebugTest.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/DocumentDebugAction.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/EventHandlerThread.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/JPDABreakpoint.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugTestCase.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/JPDADebugger.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/JPDAStackData.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/JPDAThreadData.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/PendingRequestManager.java
modified: src/edu/rice/cs/drjava/model/debug/jpda/Step.java
modified: src/edu/rice/cs/drjava/model/definitions/ClassNameNotFoundException.java
modified: src/edu/rice/cs/drjava/model/definitions/ColoringGlyphPainter.java
modified: src/edu/rice/cs/drjava/model/definitions/ColoringView.java
modified: src/edu/rice/cs/drjava/model/definitions/CommentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/CompoundUndoManager.java
modified: src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
modified: src/edu/rice/cs/drjava/model/definitions/DefinitionsDocumentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/DefinitionsEditorKit.java
modified: src/edu/rice/cs/drjava/model/definitions/DocumentClosedListener.java
modified: src/edu/rice/cs/drjava/model/definitions/DocumentUIListener.java
modified: src/edu/rice/cs/drjava/model/definitions/IndentHelperTest.java
modified: src/edu/rice/cs/drjava/model/definitions/IndentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/InvalidPackageException.java
modified: src/edu/rice/cs/drjava/model/definitions/NoSuchDocumentException.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionBracePlus.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionBracePlusTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionDoNothing.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionDoNothingTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartCurrStmtPlus.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlus.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultiline.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultilinePreserve.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusMultilinePreserveTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevLinePlusTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevStmtPlus.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartPrevStmtPlusTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartStmtOfBracePlus.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/ActionStartStmtOfBracePlusTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRule.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleAction.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleQuestion.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleWithTrace.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRuleWithTraceTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/IndentRulesTestCase.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/Indenter.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionBraceIsCurly.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionBraceIsCurlyTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionBraceIsParenOrBracket.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionBraceIsParenOrBracketTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmpty.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmptyOrEnterPress.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineEmptyOrEnterPressTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineIsWingComment.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineIsWingCommentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWith.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithSkipComments.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithSkipCommentsTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionCurrLineStartsWithTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInPrevStmt.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInStmt.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionExistsCharInStmtTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionFollowedByStar.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionHasCharPrecedingOpenBrace.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionHasCharPrecedingOpenBraceTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionInsideComment.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionInsideCommentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionLineContains.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionLineContainsTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionNewParenPhrase.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionNewParenPhraseTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsComment.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsCommentTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsJavaDocWithText.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsWith.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionPrevLineStartsWithTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartAfterOpenBrace.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartAfterOpenBraceTest.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartingNewStmt.java
modified: src/edu/rice/cs/drjava/model/definitions/indent/QuestionStartingNewStmtTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/AbstractReducedModel.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BackSlashTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/Brace.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceException.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceInfo.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceInfoTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceReduction.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceReductionTestCase.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/BraceTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/Free.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/Gap.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/GapTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/HighlightStatus.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/IndentInfo.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/InsideBlockComment.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/InsideDoubleQuote.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/InsideLineComment.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/InsideSingleQuote.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/MixedQuoteTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ModelList.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ModelListTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelBrace.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelComment.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelControl.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelDeleteTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelState.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelStates.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedToken.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/SingleQuoteTest.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/Stutter.java
modified: src/edu/rice/cs/drjava/model/definitions/reducedmodel/TokenList.java
modified: src/edu/rice/cs/drjava/model/javadoc/DefaultJavadocModel.java
modified: src/edu/rice/cs/drjava/model/javadoc/JavadocEventNotifier.java
modified: src/edu/rice/cs/drjava/model/javadoc/JavadocException.java
modified: src/edu/rice/cs/drjava/model/javadoc/JavadocListener.java
modified: src/edu/rice/cs/drjava/model/javadoc/JavadocModel.java
modified: src/edu/rice/cs/drjava/model/javadoc/JavadocModelTest.java
modified: src/edu/rice/cs/drjava/model/javadoc/NoJavadocAvailable.java
modified: src/edu/rice/cs/drjava/model/junit/ConcJUnitUtils.java
modified: src/edu/rice/cs/drjava/model/junit/DefaultJUnitModel.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitError.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitErrorModel.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitErrorModelTest.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitEventNotifier.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitListener.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitModel.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitModelCallback.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitTestManager.java
modified: src/edu/rice/cs/drjava/model/junit/JUnitTestRunner.java
modified: src/edu/rice/cs/drjava/model/print/DrJavaBook.java
modified: src/edu/rice/cs/drjava/model/print/DrJavaBookTest.java
modified: src/edu/rice/cs/drjava/model/print/PagePrinter.java
modified: src/edu/rice/cs/drjava/model/repl/DefaultInteractionsModel.java
modified: src/edu/rice/cs/drjava/model/repl/DummyInteractionsListener.java
modified: src/edu/rice/cs/drjava/model/repl/History.java
modified: src/edu/rice/cs/drjava/model/repl/HistoryTest.java
modified: src/edu/rice/cs/drjava/model/repl/InputListener.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsDJDocument.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsDJDocumentTest.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsDocument.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsDocumentTest.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsEditorKit.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsEventNotifier.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsException.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsListener.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsModel.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsModelCallback.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsModelErrorTest.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsModelTest.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsPaneOptions.java
modified: src/edu/rice/cs/drjava/model/repl/InteractionsScriptModel.java
modified: src/edu/rice/cs/drjava/model/repl/InterpreterInterruptedException.java
modified: src/edu/rice/cs/drjava/model/repl/JavaInterpreterTest.java
modified: src/edu/rice/cs/drjava/model/repl/RMIInteractionsModel.java
modified: src/edu/rice/cs/drjava/model/repl/SimpleInteractionsModel.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/ClassPathManager.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/InterpretResult.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/InterpreterJVM.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/InterpreterJVMRemoteI.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/MainJVM.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/MainJVMRemoteI.java
modified: src/edu/rice/cs/drjava/model/repl/newjvm/NewJVMTest.java
modified: src/edu/rice/cs/drjava/platform/DefaultPlatform.java
modified: src/edu/rice/cs/drjava/platform/PlatformFactory.java
modified: src/edu/rice/cs/drjava/platform/PlatformSupport.java
modified: src/edu/rice/cs/drjava/project/DocFile.java
modified: src/edu/rice/cs/drjava/project/DocumentInfoGetter.java
modified: src/edu/rice/cs/drjava/project/MalformedProjectFileException.java
modified: src/edu/rice/cs/drjava/project/ProjectFileIR.java
modified: src/edu/rice/cs/drjava/project/ProjectFileParser.java
modified: src/edu/rice/cs/drjava/project/ProjectFileParserFacade.java
modified: src/edu/rice/cs/drjava/project/ProjectProfile.java
modified: src/edu/rice/cs/drjava/project/ProjectTest.java
modified: src/edu/rice/cs/drjava/project/XMLProjectFileParser.java
modified: src/edu/rice/cs/drjava/project/XMLProjectFileParserTest.java
modified: src/edu/rice/cs/drjava/ui/AbortablePanel.java
modified: src/edu/rice/cs/drjava/ui/AboutDialog.java
modified: src/edu/rice/cs/drjava/ui/AbstractConsoleController.java
modified: src/edu/rice/cs/drjava/ui/AbstractDJPane.java
modified: src/edu/rice/cs/drjava/ui/AutoCompletePopup.java
modified: src/edu/rice/cs/drjava/ui/BackgroundColorListener.java
modified: src/edu/rice/cs/drjava/ui/BookmarksPanel.java
modified: src/edu/rice/cs/drjava/ui/BreakpointsPanel.java
modified: src/edu/rice/cs/drjava/ui/ClassPathFilter.java
modified: src/edu/rice/cs/drjava/ui/ClipboardHistoryFrame.java
modified: src/edu/rice/cs/drjava/ui/CommonCloseButton.java
modified: src/edu/rice/cs/drjava/ui/CompilerErrorPanel.java
modified: src/edu/rice/cs/drjava/ui/ConsoleController.java
modified: src/edu/rice/cs/drjava/ui/DebugPanel.java
modified: src/edu/rice/cs/drjava/ui/DefinitionsPane.java
modified: src/edu/rice/cs/drjava/ui/DefinitionsPaneMemoryLeakTest.java
modified: src/edu/rice/cs/drjava/ui/DefinitionsPaneTest.java
modified: src/edu/rice/cs/drjava/ui/DetachedFrame.java
modified: src/edu/rice/cs/drjava/ui/DirectoryFilter.java
modified: src/edu/rice/cs/drjava/ui/DrJavaErrorHandler.java
modified: src/edu/rice/cs/drjava/ui/DrJavaErrorPopup.java
modified: src/edu/rice/cs/drjava/ui/DrJavaErrorWindow.java
modified: src/edu/rice/cs/drjava/ui/DrJavaScrollableDialog.java
modified: src/edu/rice/cs/drjava/ui/DrJavaSurveyPopup.java
modified: src/edu/rice/cs/drjava/ui/EditExternalDialog.java
modified: src/edu/rice/cs/drjava/ui/ErrorCaretListener.java
modified: src/edu/rice/cs/drjava/ui/ErrorPanel.java
modified: src/edu/rice/cs/drjava/ui/ExecuteExternalDialog.java
modified: src/edu/rice/cs/drjava/ui/ExternalProcessPanel.java
modified: src/edu/rice/cs/drjava/ui/FindReplacePanel.java
modified: src/edu/rice/cs/drjava/ui/FindResultsPanel.java
modified: src/edu/rice/cs/drjava/ui/ForegroundColorListener.java
modified: src/edu/rice/cs/drjava/ui/GenerateCustomDrJavaJarFrame.java
modified: src/edu/rice/cs/drjava/ui/HTMLFrame.java
modified: src/edu/rice/cs/drjava/ui/HelpFrame.java
modified: src/edu/rice/cs/drjava/ui/HistorySaveDialog.java
modified: src/edu/rice/cs/drjava/ui/InsertVariableDialog.java
modified: src/edu/rice/cs/drjava/ui/InteractionsController.java
modified: src/edu/rice/cs/drjava/ui/InteractionsHistoryFilter.java
modified: src/edu/rice/cs/drjava/ui/InteractionsPane.java
modified: src/edu/rice/cs/drjava/ui/InteractionsPaneTest.java
modified: src/edu/rice/cs/drjava/ui/InteractionsScriptController.java
modified: src/edu/rice/cs/drjava/ui/InteractionsScriptPane.java
modified: src/edu/rice/cs/drjava/ui/JUnitPanel.java
modified: src/edu/rice/cs/drjava/ui/JarOptionsDialog.java
modified: src/edu/rice/cs/drjava/ui/JavaSourceFilter.java
modified: src/edu/rice/cs/drjava/ui/JavadocDialog.java
modified: src/edu/rice/cs/drjava/ui/JavadocErrorPanel.java
modified: src/edu/rice/cs/drjava/ui/JavadocFrame.java
modified: src/edu/rice/cs/drjava/ui/KeyBindingManager.java
modified: src/edu/rice/cs/drjava/ui/LessPanel.java
modified: src/edu/rice/cs/drjava/ui/LineEnumRule.java
modified: src/edu/rice/cs/drjava/ui/MainFrame.java
modified: src/edu/rice/cs/drjava/ui/MainFrameStatics.java
modified: src/edu/rice/cs/drjava/ui/MainFrameTest.java
modified: src/edu/rice/cs/drjava/ui/NewJavaClassDialog.java
modified: src/edu/rice/cs/drjava/ui/NewVersionPopup.java
modified: src/edu/rice/cs/drjava/ui/PreviewConsoleFrame.java
modified: src/edu/rice/cs/drjava/ui/PreviewDefDocFrame.java
modified: src/edu/rice/cs/drjava/ui/PreviewFrame.java
modified: src/edu/rice/cs/drjava/ui/ProjectAdvancedPropertiesFrame.java
modified: src/edu/rice/cs/drjava/ui/ProjectMenuTest.java
modified: src/edu/rice/cs/drjava/ui/ProjectPropertiesFrame.java
modified: src/edu/rice/cs/drjava/ui/QuickStartFrame.java
modified: src/edu/rice/cs/drjava/ui/RecentDocFrame.java
modified: src/edu/rice/cs/drjava/ui/RecentFileManager.java
modified: src/edu/rice/cs/drjava/ui/RecentFileManagerTest.java
modified: src/edu/rice/cs/drjava/ui/RegionsListPanel.java
modified: src/edu/rice/cs/drjava/ui/RegionsTreePanel.java
modified: src/edu/rice/cs/drjava/ui/ReverseHighlighter.java
modified: src/edu/rice/cs/drjava/ui/SimpleInteractionsWindow.java
modified: src/edu/rice/cs/drjava/ui/SmartSourceFilter.java
modified: src/edu/rice/cs/drjava/ui/SplashScreen.java
modified: src/edu/rice/cs/drjava/ui/TabbedPanel.java
modified: src/edu/rice/cs/drjava/ui/avail/AndGUIAvailabilityActionAdapter.java
modified: src/edu/rice/cs/drjava/ui/avail/AndGUIAvailabilityComponentAdapter.java
modified: src/edu/rice/cs/drjava/ui/avail/AndGUIAvailabilityListener.java
modified: src/edu/rice/cs/drjava/ui/avail/DefaultGUIAvailabilityNotifier.java
modified: src/edu/rice/cs/drjava/ui/avail/GUIAvailabilityListener.java
modified: src/edu/rice/cs/drjava/ui/avail/GUIAvailabilityNotifier.java
modified: src/edu/rice/cs/drjava/ui/avail/OrGUIAvailabilityActionAdapter.java
modified: src/edu/rice/cs/drjava/ui/avail/OrGUIAvailabilityComponentAdapter.java
modified: src/edu/rice/cs/drjava/ui/avail/OrGUIAvailabilityListener.java
modified: src/edu/rice/cs/drjava/ui/config/BooleanOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/BooleanOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/ButtonComponent.java
modified: src/edu/rice/cs/drjava/ui/config/ColorOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/ColorOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/ConfigDescriptions.java
modified: src/edu/rice/cs/drjava/ui/config/ConfigFrame.java
modified: src/edu/rice/cs/drjava/ui/config/ConfigPanel.java
modified: src/edu/rice/cs/drjava/ui/config/DirectoryOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/FileOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/FileOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/FontOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/FontOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/ForcedChoiceOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/ForcedChoiceOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/IntegerOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/IntegerOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/KeyStrokeOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/LabelComponent.java
modified: src/edu/rice/cs/drjava/ui/config/OptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/StringOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorAbsRelFileOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorClassnameOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorFileOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorFileOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorKeyStrokeOptionComponentTest.java
modified: src/edu/rice/cs/drjava/ui/config/VectorOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/config/VectorStringOptionComponent.java
modified: src/edu/rice/cs/drjava/ui/coverage/CoverageFrame.java
modified: src/edu/rice/cs/drjava/ui/predictive/PredictiveInputFrame.java
modified: src/edu/rice/cs/drjava/ui/predictive/PredictiveInputModel.java
modified: src/edu/rice/cs/drjava/ui/predictive/PredictiveInputModelTest.java
modified: src/edu/rice/cs/util/AbsRelFile.java
modified: src/edu/rice/cs/util/ArgumentTokenizer.java
modified: src/edu/rice/cs/util/ArgumentTokenizerTest.java
modified: src/edu/rice/cs/util/BalancingStreamTokenizer.java
modified: src/edu/rice/cs/util/BalancingStreamTokenizerTest.java
modified: src/edu/rice/cs/util/DirectorySelector.java
modified: src/edu/rice/cs/util/FileOpenSelector.java
modified: src/edu/rice/cs/util/FileOps.java
modified: src/edu/rice/cs/util/FileOpsTest.java
modified: src/edu/rice/cs/util/GeneralProcessCreator.java
modified: src/edu/rice/cs/util/InputStreamRedirector.java
modified: src/edu/rice/cs/util/IterableOps.java
modified: src/edu/rice/cs/util/JoinInputStream.java
modified: src/edu/rice/cs/util/Log.java
modified: src/edu/rice/cs/util/LogTest.java
modified: src/edu/rice/cs/util/MD5ChecksumProperties.java
modified: src/edu/rice/cs/util/NullFile.java
modified: src/edu/rice/cs/util/OperationCanceledException.java
modified: src/edu/rice/cs/util/OutputStreamRedirector.java
modified: src/edu/rice/cs/util/ProcessChain.java
modified: src/edu/rice/cs/util/ProcessCreator.java
modified: src/edu/rice/cs/util/ProcessSequence.java
modified: src/edu/rice/cs/util/ReaderWriterLock.java
modified: src/edu/rice/cs/util/ReaderWriterLockTest.java
modified: src/edu/rice/cs/util/RunnableEST.java
modified: src/edu/rice/cs/util/StreamRedirectException.java
modified: src/edu/rice/cs/util/StreamRedirectThread.java
modified: src/edu/rice/cs/util/StreamRedirectorTest.java
modified: src/edu/rice/cs/util/StringOps.java
modified: src/edu/rice/cs/util/StringOpsTest.java
modified: src/edu/rice/cs/util/UnexpectedException.java
modified: src/edu/rice/cs/util/XMLConfig.java
modified: src/edu/rice/cs/util/XMLConfigTest.java
modified: src/edu/rice/cs/util/classloader/ClassFileError.java
modified: src/edu/rice/cs/util/docnavigation/AWTContainerNavigatorFactory.java
modified: src/edu/rice/cs/util/docnavigation/DummyINavigatorItem.java
modified: src/edu/rice/cs/util/docnavigation/FileNode.java
modified: src/edu/rice/cs/util/docnavigation/GroupNode.java
modified: src/edu/rice/cs/util/docnavigation/GroupNotSelectedException.java
modified: src/edu/rice/cs/util/docnavigation/IAWTContainerNavigatorActor.java
modified: src/edu/rice/cs/util/docnavigation/IDocumentAwareMouseListener.java
modified: src/edu/rice/cs/util/docnavigation/IDocumentNavigator.java
modified: src/edu/rice/cs/util/docnavigation/IDocumentNavigatorAlgo.java
modified: src/edu/rice/cs/util/docnavigation/IDocumentNavigatorFactory.java
modified: src/edu/rice/cs/util/docnavigation/INavigationListener.java
modified: src/edu/rice/cs/util/docnavigation/INavigatorItem.java
modified: src/edu/rice/cs/util/docnavigation/INavigatorItemFilter.java
modified: src/edu/rice/cs/util/docnavigation/InnerNode.java
modified: src/edu/rice/cs/util/docnavigation/JListNavigator.java
modified: src/edu/rice/cs/util/docnavigation/JListSortNavigator.java
modified: src/edu/rice/cs/util/docnavigation/JListSortNavigatorTest.java
modified: src/edu/rice/cs/util/docnavigation/JTreeSortNavigator.java
modified: src/edu/rice/cs/util/docnavigation/JTreeSortNavigatorTest.java
modified: src/edu/rice/cs/util/docnavigation/LeafNode.java
modified: src/edu/rice/cs/util/docnavigation/NodeData.java
modified: src/edu/rice/cs/util/docnavigation/NodeDataVisitor.java
modified: src/edu/rice/cs/util/docnavigation/RootNode.java
modified: src/edu/rice/cs/util/docnavigation/StringNode.java
modified: src/edu/rice/cs/util/jar/JarBuilder.java
modified: src/edu/rice/cs/util/jar/JarCreationTest.java
modified: src/edu/rice/cs/util/jar/ManifestWriter.java
modified: src/edu/rice/cs/util/newjvm/AbstractMasterJVM.java
modified: src/edu/rice/cs/util/newjvm/AbstractSlaveJVM.java
modified: src/edu/rice/cs/util/newjvm/IntegratedMasterSlaveTest.java
modified: src/edu/rice/cs/util/newjvm/MasterRemote.java
modified: src/edu/rice/cs/util/newjvm/SlaveRemote.java
modified: src/edu/rice/cs/util/sexp/Atom.java
modified: src/edu/rice/cs/util/sexp/Cons.java
modified: src/edu/rice/cs/util/sexp/Empty.java
modified: src/edu/rice/cs/util/sexp/Lexer.java
modified: src/edu/rice/cs/util/sexp/LexingException.java
modified: src/edu/rice/cs/util/sexp/SEList.java
modified: src/edu/rice/cs/util/sexp/SEListVisitor.java
modified: src/edu/rice/cs/util/sexp/SExp.java
modified: src/edu/rice/cs/util/sexp/SExpParseException.java
modified: src/edu/rice/cs/util/sexp/SExpParser.java
modified: src/edu/rice/cs/util/sexp/SExpParserTest.java
modified: src/edu/rice/cs/util/sexp/SExpVisitor.java
modified: src/edu/rice/cs/util/sexp/Tokens.java
modified: src/edu/rice/cs/util/sexp/TokensTest.java
modified: src/edu/rice/cs/util/swing/AsyncCompletionArgs.java
modified: src/edu/rice/cs/util/swing/AsyncTask.java
modified: src/edu/rice/cs/util/swing/AsyncTaskLauncher.java
modified: src/edu/rice/cs/util/swing/BorderlessScrollPane.java
modified: src/edu/rice/cs/util/swing/BorderlessSplitPane.java
modified: src/edu/rice/cs/util/swing/CenteredIcon.java
modified: src/edu/rice/cs/util/swing/ConfirmCheckBoxDialog.java
modified: src/edu/rice/cs/util/swing/DefaultFileDisplayManager.java
modified: src/edu/rice/cs/util/swing/DefaultSwingFrame.java
modified: src/edu/rice/cs/util/swing/DelegatingAction.java
modified: src/edu/rice/cs/util/swing/DirectoryChooser.java
modified: src/edu/rice/cs/util/swing/DirectorySelectorComponent.java
modified: src/edu/rice/cs/util/swing/DisplayManager.java
modified: src/edu/rice/cs/util/swing/DocumentIterator.java
modified: src/edu/rice/cs/util/swing/DocumentOutputStream.java
modified: src/edu/rice/cs/util/swing/FileChooser.java
modified: src/edu/rice/cs/util/swing/FileDisplay.java
modified: src/edu/rice/cs/util/swing/FileDisplayManager.java
modified: src/edu/rice/cs/util/swing/FileSelectionEvent.java
modified: src/edu/rice/cs/util/swing/FileSelectionListener.java
modified: src/edu/rice/cs/util/swing/FileSelectorComponent.java
modified: src/edu/rice/cs/util/swing/FileSelectorStringComponent.java
modified: src/edu/rice/cs/util/swing/FontChooser.java
modified: src/edu/rice/cs/util/swing/HighlightManager.java
modified: src/edu/rice/cs/util/swing/HighlightManagerTest.java
modified: src/edu/rice/cs/util/swing/IAsyncProgress.java
modified: src/edu/rice/cs/util/swing/LayeredIcon.java
modified: src/edu/rice/cs/util/swing/ProcessingDialog.java
modified: src/edu/rice/cs/util/swing/RightClickMouseAdapter.java
modified: src/edu/rice/cs/util/swing/ScrollableDialog.java
modified: src/edu/rice/cs/util/swing/ScrollableListDialog.java
modified: src/edu/rice/cs/util/swing/ScrollableListDialogTest.java
modified: src/edu/rice/cs/util/swing/ScrollableListSelectionDialog.java
modified: src/edu/rice/cs/util/swing/ScrollableListSelectionDialogTest.java
modified: src/edu/rice/cs/util/swing/SwingFrame.java
modified: src/edu/rice/cs/util/swing/SwingWorker.java
modified: src/edu/rice/cs/util/swing/UneditableTableModel.java
modified: src/edu/rice/cs/util/swing/UnfocusableButton.java
modified: src/edu/rice/cs/util/swing/Utilities.java
modified: src/edu/rice/cs/util/swing/UtilitiesTest.java
modified: src/edu/rice/cs/util/text/AbstractDocumentInterface.java
modified: src/edu/rice/cs/util/text/ConsoleDocument.java
modified: src/edu/rice/cs/util/text/ConsoleDocumentInterface.java
modified: src/edu/rice/cs/util/text/ConsoleDocumentTest.java
modified: src/edu/rice/cs/util/text/DocumentEditCondition.java
modified: src/edu/rice/cs/util/text/EditDocumentException.java
modified: src/edu/rice/cs/util/text/EditDocumentInterface.java
modified: src/edu/rice/cs/util/text/ReadersWritersLocking.java
modified: src/edu/rice/cs/util/text/SwingDocument.java
modified: src/edu/rice/cs/util/text/SwingDocumentInterface.java
modified: src/edu/rice/cs/util/text/SwingDocumentTest.java1 parent 0152353 commit 4a84b7d
File tree
598 files changed
+873
-1284
lines changed- drjava/src/edu/rice/cs
- drjava
- config
- model
- cache
- compiler
- coverage
- debug
- jpda
- definitions
- indent
- reducedmodel
- javadoc
- junit
- print
- repl
- newjvm
- platform
- project
- ui
- avail
- config
- coverage
- predictive
- util
- classloader
- jar
- newjvm
- sexp
- swing
- text
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
598 files changed
+873
-1284
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | | - | |
| 3 | + | |
4 | 4 | | |
5 | 5 | | |
6 | 6 | | |
| |||
0 commit comments