Addresses bug [ 1815387 ] Editor should discard parse errors for now
We should upgrade our parser to handle @ M src/edu/rice/cs/drjava/model/definitions/DefinitionsDocument.java
Authored by: mgricken 2008-01-06
Parent: [r4293]
Child: [r4295]
