DrJava Legacy SVN Repository

methods that were identified as hotspots by YourKit profiling of
indenting. It also includes a revision to the
INDENT_WARNING_THRESHOLD because the recent spate of indenting
revisions based on YourKit profiling have improved the performance of
indenting. The warning threhold has now been set so higher than the
size of the AbstractGlobalModel file, which takes about 4 seconds to
indent running Java 5.0 on a 2Ghz CoreDuo processor.

The following files were modified

M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedToken.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ReducedModelStates.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/ModelList.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/Brace.java
M src/edu/rice/cs/drjava/model/definitions/reducedmodel/TokenList.java
M src/edu/rice/cs/drjava/model/AbstractGlobalModel.java
M src/edu/rice/cs/drjava/ui/DefinitionsPane.java
M src/edu/rice/cs/util/BalancingStreamTokenizer.java