#452 Deleted Texn in my class and got this

[Anonymous]

edu.rice.cs.util.UnexpectedException:
javax.swing.text.BadLocationException: Invalid location
at
edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtOffset(CompilerErrorModel.java:247)
at
edu.rice.cs.drjava.ui.ErrorCaretListener.updateHighlight(ErrorCaretListener.java:89)
at
edu.rice.cs.drjava.ui.ErrorCaretListener.caretUpdate(ErrorCaretListener.java:67)
at
javax.swing.text.JTextComponent.fireCaretUpdate(Unknown
Source)
at
javax.swing.text.JTextComponent$MutableCaretEvent.fire(Unknown
Source)
at
javax.swing.text.JTextComponent$MutableCaretEvent.stateChanged(Unknown
Source)
at
javax.swing.text.DefaultCaret.fireStateChanged(Unknown
Source)
at
javax.swing.text.DefaultCaret.changeCaretPosition(Unknown
Source)
at javax.swing.text.DefaultCaret.handleSetDot(Unknown
Source)
at javax.swing.text.DefaultCaret.setDot(Unknown Source)
at
javax.swing.text.DefaultCaret$Handler.removeUpdate(Unknown
Source)
at
javax.swing.text.AbstractDocument.fireRemoveUpdate(Unknown
Source)
at
javax.swing.text.AbstractDocument.handleRemove(Unknown
Source)
at javax.swing.text.AbstractDocument.remove(Unknown
Source)
at
edu.rice.cs.util.text.SwingDocument.remove(SwingDocument.java:169)
at
edu.rice.cs.drjava.model.AbstractDJDocument.remove(AbstractDJDocument.java:1436)
at
edu.rice.cs.drjava.model.definitions.DefinitionsDocument.remove(DefinitionsDocument.java:373)
at
edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.remove(AbstractGlobalModel.java:2646)
at
javax.swing.text.DefaultEditorKit$DeleteNextCharAction.actionPerformed(Unknown
Source)
at javax.swing.SwingUtilities.notifyAction(Unknown Source)
at javax.swing.JComponent.processKeyBinding(Unknown
Source)
at javax.swing.JComponent.processKeyBindings(Unknown
Source)
at javax.swing.JComponent.processKeyEvent(Unknown Source)
at
edu.rice.cs.drjava.ui.DefinitionsPane.processKeyEvent(DefinitionsPane.java:571)
at java.awt.Component.processEvent(Unknown Source)
at java.awt.Container.processEvent(Unknown Source)
at java.awt.Component.dispatchEventImpl(Unknown Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at
java.awt.KeyboardFocusManager.redispatchEvent(Unknown
Source)
at
java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(Unknown
Source)
at
java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(Unknown
Source)
at
java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(Unknown
Source)
at
java.awt.DefaultKeyboardFocusManager.dispatchEvent(Unknown
Source)
at java.awt.Component.dispatchEventImpl(Unknown Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Window.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at java.awt.EventQueue.dispatchEvent(Unknown Source)
at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown
Source)
at
java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown
Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.run(Unknown Source)
Caused by: javax.swing.text.BadLocationException:
Invalid location
at javax.swing.text.GapContent.getChars(Unknown Source)
at javax.swing.text.GapContent.getString(Unknown Source)
at javax.swing.text.AbstractDocument.getText(Unknown
Source)
at
edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.getText(AbstractGlobalModel.java:2629)
at
edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtOffset(CompilerErrorModel.java:244)
... 43 more

Caused by:
javax.swing.text.BadLocationException: Invalid location
at javax.swing.text.GapContent.getChars(Unknown Source)
at javax.swing.text.GapContent.getString(Unknown Source)
at javax.swing.text.AbstractDocument.getText(Unknown
Source)
at
edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.getText(AbstractGlobalModel.java:2629)
at
edu.rice.cs.drjava.model.compiler.CompilerErrorModel.getErrorAtOffset(CompilerErrorModel.java:244)
at
edu.rice.cs.drjava.ui.ErrorCaretListener.updateHighlight(ErrorCaretListener.java:89)
at
edu.rice.cs.drjava.ui.ErrorCaretListener.caretUpdate(ErrorCaretListener.java:67)
at
javax.swing.text.JTextComponent.fireCaretUpdate(Unknown
Source)
at
javax.swing.text.JTextComponent$MutableCaretEvent.fire(Unknown
Source)
at
javax.swing.text.JTextComponent$MutableCaretEvent.stateChanged(Unknown
Source)
at
javax.swing.text.DefaultCaret.fireStateChanged(Unknown
Source)
at
javax.swing.text.DefaultCaret.changeCaretPosition(Unknown
Source)
at javax.swing.text.DefaultCaret.handleSetDot(Unknown
Source)
at javax.swing.text.DefaultCaret.setDot(Unknown Source)
at
javax.swing.text.DefaultCaret$Handler.removeUpdate(Unknown
Source)
at
javax.swing.text.AbstractDocument.fireRemoveUpdate(Unknown
Source)
at
javax.swing.text.AbstractDocument.handleRemove(Unknown
Source)
at javax.swing.text.AbstractDocument.remove(Unknown
Source)
at
edu.rice.cs.util.text.SwingDocument.remove(SwingDocument.java:169)
at
edu.rice.cs.drjava.model.AbstractDJDocument.remove(AbstractDJDocument.java:1436)
at
edu.rice.cs.drjava.model.definitions.DefinitionsDocument.remove(DefinitionsDocument.java:373)
at
edu.rice.cs.drjava.model.AbstractGlobalModel$ConcreteOpenDefDoc.remove(AbstractGlobalModel.java:2646)
at
javax.swing.text.DefaultEditorKit$DeleteNextCharAction.actionPerformed(Unknown
Source)
at javax.swing.SwingUtilities.notifyAction(Unknown Source)
at javax.swing.JComponent.processKeyBinding(Unknown
Source)
at javax.swing.JComponent.processKeyBindings(Unknown
Source)
at javax.swing.JComponent.processKeyEvent(Unknown Source)
at
edu.rice.cs.drjava.ui.DefinitionsPane.processKeyEvent(DefinitionsPane.java:571)
at java.awt.Component.processEvent(Unknown Source)
at java.awt.Container.processEvent(Unknown Source)
at java.awt.Component.dispatchEventImpl(Unknown Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at
java.awt.KeyboardFocusManager.redispatchEvent(Unknown
Source)
at
java.awt.DefaultKeyboardFocusManager.dispatchKeyEvent(Unknown
Source)
at
java.awt.DefaultKeyboardFocusManager.preDispatchKeyEvent(Unknown
Source)
at
java.awt.DefaultKeyboardFocusManager.typeAheadAssertions(Unknown
Source)
at
java.awt.DefaultKeyboardFocusManager.dispatchEvent(Unknown
Source)
at java.awt.Component.dispatchEventImpl(Unknown Source)
at java.awt.Container.dispatchEventImpl(Unknown Source)
at java.awt.Window.dispatchEventImpl(Unknown Source)
at java.awt.Component.dispatchEvent(Unknown Source)
at java.awt.EventQueue.dispatchEvent(Unknown Source)
at
java.awt.EventDispatchThread.pumpOneEventForHierarchy(Unknown
Source)
at
java.awt.EventDispatchThread.pumpEventsForHierarchy(Unknown
Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.pumpEvents(Unknown Source)
at java.awt.EventDispatchThread.run(Unknown Source)

[Christopher Warrington]

Logged In: YES
user_id=666678
Originator: NO

We believe that this is fixed in the latest stable relase. Please try that version. If you still get this error, post another comment with details. Setting ticket to auto-close.

[SourceForge Robot]

Logged In: YES
user_id=1312539
Originator: NO

This Tracker item was closed automatically by the system. It was
previously set to a Pending status, and the original submitter
did not respond within 14 days (the time period specified by
the administrator of this Tracker).