[DrJava] [ drjava-Bugs-1565731 ] Problem

SourceForge Headquarters 1320 Columbia Street Suite 310 San Diego, CA 92101 +1 (858) 422-6466

Bugs item #1565731, was opened at 2006-09-26 06:30
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=1565731&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: Debugger
Group: 2: Annoying
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Problem

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

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

	at 
edu.rice.cs.drjava.model.definitions.reducedmodel.Reduc
edModelControl.getHighlightStatus
(ReducedModelControl.java:385)

	at 
edu.rice.cs.drjava.model.AbstractDJDocument.getHighligh
tStatus(AbstractDJDocument.java:235)

	at 
edu.rice.cs.drjava.model.definitions.ColoringGlyphPaint
er.paint(ColoringGlyphPainter.java:119)

	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:175)

	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.JSplitPane.paintChildren
(Unknown Source)

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

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

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

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

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

	at javax.swing.RepaintManager.paintDirtyRegions
(Unknown Source)

	at 
javax.swing.SystemEventQueueUtilities$ComponentWorkRequ
est.run(Unknown Source)

	at java.awt.event.InvocationEvent.dispatch
(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)

System Properties:
DrJava Version 20060918-1737
java.runtime.name = Java(TM) 2 Runtime Environment, 
Standard Edition
sun.boot.library.path = C:\Program 
Files\Java\j2re1.4.2_12\bin
java.vm.version = 1.4.2_12-b03
java.vm.vendor = Sun Microsystems Inc.
java.vendor.url = http://java.sun.com/
path.separator = ;
java.vm.name = Java HotSpot(TM) Client VM
file.encoding.pkg = sun.io
user.country = IT
sun.os.patch.level = Service Pack 2
java.vm.specification.name = Java Virtual Machine 
Specification
user.dir = C:\Documents and 
Settings\administrator.NC6000W2KSP2
java.runtime.version = 1.4.2_12-b03
java.awt.graphicsenv = sun.awt.Win32GraphicsEnvironment
java.endorsed.dirs = C:\Program Files\Java\j2re1.4.2_12
\lib\endorsed
os.arch = x86
java.io.tmpdir = C:\DOCUME~1\ADMINI~1.NC6\LOCALS~1
\Temp\
line.separator = "\u000d\u000a"
java.vm.specification.vendor = Sun Microsystems Inc.
user.variant = 
os.name = Windows XP
sun.java2d.fontpath = 
java.library.path = C:\Program Files\Java\j2re1.4.2_12
\bin;.;C:\WINDOWS\system32;C:\WINDOWS;C:\oracle\ora81
\bin;C:\Program Files\Oracle\jre\1.1.7\bin;C:\Program 
Files\Compaq\Compaq Management Agents\Dmi\Win32
\Bin;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32
\Wbem;c:\program files\winzip;c:\data\notes;c:\program 
files\notes;C:\Program Files\ATI Technologies\ATI 
Control Panel;C:\Program Files\Support 
Tools\;C:\Program Files\Common Files\GTK\2.0
\bin;C:\TIBCO\tibrv\BIN;C:\tibco\jre\1.4.2
\bin;.\;C:\tibco\jre\1.4.2\bin\
java.specification.name = Java Platform API 
Specification
java.class.version = 48.0
java.util.prefs.PreferencesFactory = 
java.util.prefs.WindowsPreferencesFactory
os.version = 5.1
user.home = C:\Documents and 
Settings\administrator.NC6000W2KSP2
user.timezone = Europe/Berlin
java.awt.printerjob = sun.awt.windows.WPrinterJob
file.encoding = Cp1252
java.specification.version = 1.4
java.class.path = C:\Documents and 
Settings\administrator.NC6000W2KSP2\Desktop\drjava-
stable-20060918-1737.exe;C:\j2sdk1.4.2_12\lib\tools.jar
user.name = Alberto N. Bonadonna
java.vm.specification.version = 1.0
java.home = C:\Program Files\Java\j2re1.4.2_12
sun.arch.data.model = 32
user.language = it
java.specification.vendor = Sun Microsystems Inc.
awt.toolkit = sun.awt.windows.WToolkit
java.vm.info = mixed mode
java.version = 1.4.2_12
java.ext.dirs = C:\Program Files\Java\j2re1.4.2_12
\lib\ext
sun.boot.class.path = C:\Program 
Files\Java\j2re1.4.2_12\lib\rt.jar;C:\Program 
Files\Java\j2re1.4.2_12\lib\i18n.jar;C:\Program 
Files\Java\j2re1.4.2_12\lib\sunrsasign.jar;C:\Program 
Files\Java\j2re1.4.2_12\lib\jsse.jar;C:\Program 
Files\Java\j2re1.4.2_12\lib\jce.jar;C:\Program 
Files\Java\j2re1.4.2_12\lib\charsets.jar;C:\Program 
Files\Java\j2re1.4.2_12\classes
java.vendor = Sun Microsystems Inc.
file.separator = \
java.vendor.url.bug = http://java.sun.com/cgi-
bin/bugreport.cgi
sun.io.unicode.encoding = UnicodeLittle
sun.cpu.endian = little
java.rmi.server.hostname = 127.0.0.1
sun.awt.exception.handler = 
edu.rice.cs.drjava.ui.DrJavaErrorHandler
sun.cpu.isalist = pentium i486 i386

#DrJava configuration file
#Tue Sep 26 15:30:00 CEST 2006
javac.location = C:\\j2sdk1.4.2_12\\lib\\tools.jar
extra.classpath = 
C:\\TEST\\lib\\iaikPkcs11Wrapper.jar;C:\\TEST\\lib\\jds
i.jar;C:\\TEST\\lib\\KeyToolsProJCE-
5.2.1.jar;C:\\TEST\\lib\\KeyToolsSMimeV2-
5.2.1.jar;C:\\TEST\\lib\\utils-mail.jar
key.delete.next = shift DELETE
key.delete.previous = shift BACK_SPACE
recent.files = [C:\\TEST\\TestJDSI_TSA.java]
window.height = 748
window.width = 1032
window.x = -4
window.y = -4
last.dir = C:\\TEST\\TestJDSI_TSA.java
last.interactions.dir = C:\\TEST

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

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

[DrJava] [ drjava-Bugs-1565731 ] Problem

A lightweight programming environment for Java

[DrJava] [ drjava-Bugs-1565731 ] Problem