[DrJava] [ drjava-Bugs-1456450 ] Runtime Exception with version 20060127-2145 on start

[SourceForge.net <no...@so...>]

Bugs item #1456450, was opened at 2006-03-22 13:32
Message generated for change (Tracker Item Submitted) made by Item Submitter
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1456450&group_id=44253

Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Runtime Exception with version 20060127-2145 on start

Initial Comment:
java.lang.RuntimeException: Attempt to call current on 
an iterator in the final position

	at edu.rice.cs.drjava.model.definitions.
reducedmodel.ModelList$Iterator.current(ModelList.java:
249)

	at edu.rice.cs.drjava.model.definitions.
reducedmodel.ReducedModelControl.
getHighlightStatus(ReducedModelControl.java:408)

	at edu.rice.cs.drjava.model.AbstractDJDocument.
getHighlightStatus(AbstractDJDocument.java:228)

	at edu.rice.cs.drjava.model.definitions.
ColoringGlyphPainter.paint(ColoringGlyphPainter.java:
116)

	at javax.swing.text.GlyphView.
paintTextUsingColor(Unknown Source)

	at javax.swing.text.GlyphView.paint(Unknown 
Source)

	at javax.swing.text.BoxView.paintChild(Unknown 
Source)

	at javax.swing.text.BoxView.paint(Unknown Source)

	at javax.swing.text.BoxView.paintChild(Unknown 
Source)

	at javax.swing.text.BoxView.paint(Unknown Source)

	at javax.swing.text.ParagraphView.paint(Unknown 
Source)

	at javax.swing.text.BoxView.paintChild(Unknown 
Source)

	at javax.swing.text.BoxView.paint(Unknown Source)

	at javax.swing.plaf.basic.BasicTextUI$RootView.
paint(Unknown Source)

	at javax.swing.plaf.basic.BasicTextUI.
paintSafely(Unknown Source)

	at javax.swing.plaf.basic.BasicTextUI.
paint(Unknown Source)

	at javax.swing.plaf.basic.BasicTextUI.
update(Unknown Source)

	at javax.swing.JComponent.paintComponent(Unknown 
Source)

	at edu.rice.cs.drjava.ui.InteractionsPane.
paintComponent(InteractionsPane.java:167)

	at javax.swing.JComponent.paint(Unknown Source)

	at javax.swing.JComponent.paintChildren(Unknown 
Source)

	at javax.swing.JComponent.paint(Unknown Source)

	at javax.swing.JViewport.paint(Unknown Source)

	at javax.swing.JComponent.paintChildren(Unknown 
Source)

	at javax.swing.JComponent.paint(Unknown Source)

	at javax.swing.JComponent.paintChildren(Unknown 
Source)

	at javax.swing.JComponent.paint(Unknown Source)

	at javax.swing.JComponent.paintChildren(Unknown 
Source)

	at javax.swing.JComponent.paint(Unknown Source)

	at javax.swing.JComponent.paintChildren(Unknown 
Source)

	at javax.swing.JSplitPane.paintChildren(Unknown 
Source)

	at javax.swing.JComponent.paint(Unknown Source)

	at javax.swing.JComponent.paintChildren(Unknown 
Source)

	at javax.swing.JComponent.paint(Unknown Source)

	at javax.swing.JComponent.paintChildren(Unknown 
Source)

	at javax.swing.JComponent.paint(Unknown Source)

	at javax.swing.JLayeredPane.paint(Unknown Source)

	at javax.swing.JComponent.paintChildren(Unknown 
Source)

	at javax.swing.JComponent.
paintWithOffscreenBuffer(Unknown Source)

	at javax.swing.JComponent.
paintDoubleBuffered(Unknown Source)

	at javax.swing.JComponent.paint(Unknown Source)

	at java.awt.GraphicsCallback$PaintCallback.
run(Unknown Source)

	at sun.awt.SunGraphicsCallback.
runOneComponent(Unknown Source)

	at sun.awt.SunGraphicsCallback.
runComponents(Unknown Source)

	at java.awt.Container.paint(Unknown Source)

	at sun.awt.RepaintArea.paint(Unknown Source)

	at sun.awt.windows.WComponentPeer.
handleEvent(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)



----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1456450&group_id=44253