[DrJava] [ drjava-Bugs-1738852 ] error

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

Bugs item #1738852, was opened at 2007-06-17 20:54
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=1738852&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: None
Status: Open
Resolution: None
Priority: 5
Private: No
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: error

Initial Comment:

1 error occured! Please submit a bug report containing the information below and an account of the actions that caused the bug (if known) to http://sourceforge.net/projects/drjava. You may wish to save all your work and restart DrJava. Thanks for your help in making DrJava better!
java.lang.ArrayIndexOutOfBoundsException: Array index out of range: 0
	at java.util.Vector.get(Unknown Source)
	at edu.rice.cs.util.swing.HighlightManager._getStackAt(HighlightManager.java:132)
	at edu.rice.cs.util.swing.HighlightManager.addHighlight(HighlightManager.java:93)
	at edu.rice.cs.drjava.ui.InteractionsPane.highlightError(InteractionsPane.java:153)
	at edu.rice.cs.drjava.ui.MainFrame$ModelListener$11.run(MainFrame.java:7397)
	at edu.rice.cs.util.swing.Utilities.invokeLater(Utilities.java:59)
	at edu.rice.cs.drjava.ui.MainFrame$ModelListener.interactionErrorOccurred(MainFrame.java:7397)
	at edu.rice.cs.drjava.model.GlobalEventNotifier.interactionErrorOccurred(GlobalEventNotifier.java:338)
	at edu.rice.cs.drjava.model.repl.InteractionsEventNotifier.interactionErrorOccurred(InteractionsEventNotifier.java:85)
	at edu.rice.cs.drjava.model.repl.DefaultInteractionsModel$4.run(DefaultInteractionsModel.java:138)
	at java.awt.event.InvocationEvent.dispatch(Unknown Source)
	at java.awt.EventQueue.dispatchEvent(Unknown Source)
	at java.awt.EventDispatchThread.pumpOneEventForFilters(Unknown Source)
	at java.awt.EventDispatchThread.pumpEventsForFilter(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 20070524-1944
drjava.debug.port = 4645
java.runtime.name = Java(TM) SE Runtime Environment
sun.boot.library.path = C:\Program Files\Java\jre1.6.0_01\bin
java.vm.version = 1.6.0_01-b06
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 = BR
sun.os.patch.level = Service Pack 2
java.vm.specification.name = Java Virtual Machine Specification
user.dir = <anonymized user.home>\My Documents
java.runtime.version = 1.6.0_01-b06
java.awt.graphicsenv = sun.awt.Win32GraphicsEnvironment
java.endorsed.dirs = C:\Program Files\Java\jre1.6.0_01\lib\endorsed
os.arch = x86
java.io.tmpdir = C:\DOCUME~1\WILMAS~1\LOCALS~1\Temp\
line.separator = "\u000d\u000a"
java.vm.specification.vendor = Sun Microsystems Inc.
user.variant = 
os.name = Windows XP
application.home = <anonymized user.home>\My Documents
sun.jnu.encoding = Cp1252
java.library.path = <anonymized user.home>\My Documents;.;C:\WINDOWS\Sun\Java\bin;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\Program Files\QuickTime\QTSystem\
env.class.path = .;C:\Program Files\Java\jre1.6.0\lib\ext\QTJava.zip
java.specification.name = Java Platform API Specification
java.class.version = 50.0
sun.management.compiler = HotSpot Client Compiler
os.version = 5.1
user.home = <anonymized user.home>
user.timezone = America/Sao_Paulo
java.awt.printerjob = sun.awt.windows.WPrinterJob
file.encoding = Cp1252
java.specification.version = 1.6
java.class.path = <anonymized user.home>\My Documents\drjava-beta-20070524-1944.exe
user.name = <anonymized user.name>
java.vm.specification.version = 1.0
java.home = C:\Program Files\Java\jre1.6.0_01
sun.arch.data.model = 32
user.language = pt
java.specification.vendor = Sun Microsystems Inc.
awt.toolkit = sun.awt.windows.WToolkit
java.vm.info = mixed mode, sharing
java.version = 1.6.0_01
java.ext.dirs = C:\Program Files\Java\jre1.6.0_01\lib\ext;C:\WINDOWS\Sun\Java\lib\ext
sun.boot.class.path = C:\Program Files\Java\jre1.6.0_01\lib\resources.jar;C:\Program Files\Java\jre1.6.0_01\lib\rt.jar;C:\Program Files\Java\jre1.6.0_01\lib\sunrsasign.jar;C:\Program Files\Java\jre1.6.0_01\lib\jsse.jar;C:\Program Files\Java\jre1.6.0_01\lib\jce.jar;C:\Program Files\Java\jre1.6.0_01\lib\charsets.jar;C:\Program Files\Java\jre1.6.0_01\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.desktop = windows
sun.awt.exception.handler = edu.rice.cs.drjava.ui.DrJavaErrorHandler
sun.cpu.isalist = pentium_pro+mmx pentium_pro pentium+mmx pentium i486 i386 i86

#DrJava configuration file
#Mon Jun 18 00:53:06 BRT 2007
javac.location = C:\\Program Files\\Java\\jdk1.6.0\\lib\\tools.jar
extra.classpath = C:\\Documents and Settings\\<anonymized user.name>\\My Documents\\JoKenPoGUI.jar
key.delete.next = shift DELETE
key.delete.previous = shift BACK_SPACE
quit.prompt = false
save.before.compile = true
recent.files = [C:\\Program Files\\Java\\Conjunto.java,C:\\Program Files\\Java\\Interseccao.java,C:\\Program Files\\Mozilla Firefox\\Interseccao.java]
window.height = 776
window.width = 1280
window.x = 0
window.y = 0
last.dir = C:\\Program Files\\Java\\ComparaString.java
last.interactions.dir = C:\\Program Files\\Java


Used memory: about 11,57 megabytes
Free memory: about 6,70 megabytes
Total memory: about 18,28 megabytes
Total memory can expand to: about 63,56 megabytes



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

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