[DrJava] [ drjava-Bugs-825113 ] I tried to open a legitimate java file

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

Bugs item #825113, was opened at 2003-10-16 14:27
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=825113&group_id=44253

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: I tried to open a legitimate java file

Initial Comment:
Done on one of the Symond Lab computers on the Rice 
Campus.

-------
java.lang.NoSuchMethodError: 
java.lang.NumberFormatException.forInputString
(Ljava/lang/String;)Ljava/lang/NumberFormatException;

	at 
java.lang.FloatingDecimal.readJavaFormatString
(FloatingDecimal.java:1207)

	at java.lang.Double.parseDouble
(Double.java:287)

	at 
edu.rice.cs.drjava.model.definitions.DefinitionsDocument.
_isNum(DefinitionsDocument.java:2356)

	at 
edu.rice.cs.drjava.model.definitions.DefinitionsDocument.
_highlightKeywords(DefinitionsDocument.java:2304)

	at 
edu.rice.cs.drjava.model.definitions.DefinitionsDocument.
getHighlightStatus(DefinitionsDocument.java:2229)

	at 
edu.rice.cs.drjava.model.definitions.ColoringView.drawUns
electedText(ColoringView.java:131)

	at javax.swing.text.PlainView.drawElement
(PlainView.java:93)

	at javax.swing.text.PlainView.drawLine
(PlainView.java:65)

	at javax.swing.text.PlainView.paint
(PlainView.java:284)

	at 
javax.swing.plaf.basic.BasicTextUI$RootView.paint
(BasicTextUI.java:1248)

	at 
javax.swing.plaf.basic.BasicTextUI.paintSafely
(BasicTextUI.java:565)

	at javax.swing.plaf.basic.BasicTextUI.paint
(BasicTextUI.java:699)

	at javax.swing.plaf.basic.BasicTextUI.update
(BasicTextUI.java:678)

	at javax.swing.JComponent.paintComponent
(JComponent.java:537)

	at 
edu.rice.cs.drjava.ui.DefinitionsPane.paintComponent
(DefinitionsPane.java:602)

	at javax.swing.JComponent.paint
(JComponent.java:804)

	at javax.swing.JComponent.paintChildren
(JComponent.java:643)

	at 
javax.swing.JComponent.paintWithOffscreenBuffer
(JComponent.java:4742)

	at javax.swing.JComponent.paintDoubleBuffered
(JComponent.java:4688)

	at javax.swing.JComponent._paintImmediately
(JComponent.java:4632)

	at javax.swing.JComponent.paintImmediately
(JComponent.java:4464)

	at 
javax.swing.RepaintManager.paintDirtyRegions
(RepaintManager.java:404)

	at 
javax.swing.SystemEventQueueUtilities$ComponentWorkR
equest.run(SystemEventQueueUtilities.java:117)

	at java.awt.event.InvocationEvent.dispatch
(InvocationEvent.java:178)

	at java.awt.EventQueue.dispatchEvent
(EventQueue.java:443)

	at 
java.awt.EventDispatchThread.pumpOneEventForHierarch
y(EventDispatchThread.java:191)

	at 
java.awt.EventDispatchThread.pumpEventsForHierarchy
(EventDispatchThread.java:144)

	at java.awt.EventDispatchThread.pumpEvents
(EventDispatchThread.java:138)

	at java.awt.EventDispatchThread.pumpEvents
(EventDispatchThread.java:130)

	at java.awt.EventDispatchThread.run
(EventDispatchThread.java:98)



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

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