[DrJava] [ drjava-Bugs-1574831 ] Error when quitting

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

Bugs item #1574831, was opened at 2006-10-10 14:22
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=1574831&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: 5: Makes DrJ unstable
Status: Open
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Error when quitting

Initial Comment:
I'm not sure what exactly the circumstances were.  I
had just clicked to close Dr. Java when the problem
happened.

My e-mail is kru...@mu...

Here is the error I copied:

java.lang.NullPointerException
	at
edu.rice.cs.drjava.ui.MainFrame._repaintLineNums(MainFrame.java:6335)
	at
edu.rice.cs.drjava.ui.MainFrame._updateNormalColor(MainFrame.java:6295)
	at
edu.rice.cs.drjava.ui.MainFrame._resetNavigatorPane(MainFrame.java:3479)
	at
edu.rice.cs.drjava.ui.MainFrame._closeProject(MainFrame.java:3573)
	at
edu.rice.cs.drjava.ui.MainFrame._quit(MainFrame.java:4061)
	at
edu.rice.cs.drjava.ui.MainFrame.access$5300(MainFrame.java:102)
	at
edu.rice.cs.drjava.ui.MainFrame$126.windowClosing(MainFrame.java:2390)
	at java.awt.Window.processWindowEvent(Unknown Source)
	at javax.swing.JFrame.processWindowEvent(Unknown Source)
	at java.awt.Window.processEvent(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)


System Properties:
DrJava Version 20060918-1737
java.runtime.name = Java(TM) 2 Runtime Environment,
Standard Edition
sun.boot.library.path = C:\Program
Files\Java\jre1.5.0_08\bin
java.vm.version = 1.5.0_08-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 = US
sun.os.patch.level = Service Pack 2
java.vm.specification.name = Java Virtual Machine
Specification
user.dir = C:\Documents and Settings\Norman Krumpe
java.runtime.version = 1.5.0_08-b03
java.awt.graphicsenv = sun.awt.Win32GraphicsEnvironment
java.endorsed.dirs = C:\Program
Files\Java\jre1.5.0_08\lib\endorsed
os.arch = x86
java.io.tmpdir = C:\DOCUME~1\NORMAN~1\LOCALS~1\Temp\
line.separator = "\u000d\u000a"
java.vm.specification.vendor = Sun Microsystems Inc.
user.variant = 
os.name = Windows XP
sun.jnu.encoding = Cp1252
java.library.path = C:\Program
Files\Java\jre1.5.0_08\bin;.;C:\WINDOWS\system32;C:\WINDOWS;c:\ruby\bin;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\system32\wbem;c:\program
files\intel\dmix;c:\program files\pov-ray for windows
v3.6\bin;C:\Program
Files\MATLAB\R2006a\bin\win32;C:\Program
Files\QuickTime\QTSystem\;"C:\Program Files\Zone
Labs\ZoneAlarm\MailFrontier";c:\Program
Files\CyberLink\Shared Files;c:\Program
Files\CyberLink\Shared Files\Filter
java.specification.name = Java Platform API Specification
java.class.version = 49.0
sun.management.compiler = HotSpot Client Compiler
os.version = 5.1
user.home = C:\Documents and Settings\Norman Krumpe
user.timezone = America/New_York
java.awt.printerjob = sun.awt.windows.WPrinterJob
file.encoding = Cp1252
java.specification.version = 1.5
java.class.path = C:\Program
Files\drjava-stable-20060918-1737.exe;C:\Program
Files\Java\jdk1.5.0_08\lib\tools.jar
user.name = Norman Krumpe
java.vm.specification.version = 1.0
java.home = C:\Program Files\Java\jre1.5.0_08
sun.arch.data.model = 32
user.language = en
java.specification.vendor = Sun Microsystems Inc.
awt.toolkit = sun.awt.windows.WToolkit
java.vm.info = mixed mode, sharing
java.version = 1.5.0_08
java.ext.dirs = C:\Program Files\Java\jre1.5.0_08\lib\ext
sun.boot.class.path = C:\Program
Files\Java\jre1.5.0_08\lib\rt.jar;C:\Program
Files\Java\jre1.5.0_08\lib\i18n.jar;C:\Program
Files\Java\jre1.5.0_08\lib\sunrsasign.jar;C:\Program
Files\Java\jre1.5.0_08\lib\jsse.jar;C:\Program
Files\Java\jre1.5.0_08\lib\jce.jar;C:\Program
Files\Java\jre1.5.0_08\lib\charsets.jar;C:\Program
Files\Java\jre1.5.0_08\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 = 

#DrJava configuration file
#Tue Oct 10 17:09:56 EDT 2006
javac.location = C:\\Program
Files\\Java\\jdk1.5.0_08\\lib\\tools.jar
font.main = Monospaced-16
key.delete.next = shift DELETE
key.delete.previous = shift BACK_SPACE
quit.prompt = false
interactions.reset.prompt = false
save.before.compile = true
indent.level = 3
recent.files =
[C:\\javahw\\Car.java,C:\\javahw\\ClaassjaCylinder.java]
window.height = 1000
window.width = 1280
window.x = 0
window.y = 0
doc.list.width = 186
last.dir = C:\\javahw\\Student.java
last.interactions.dir = C:\\javahw



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

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