[DrJava] [ drjava-Bugs-1689411 ] Dr Java will not launch

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

Bugs item #1689411, was opened at 2007-03-27 12:26
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=1689411&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
Private: No
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: Dr Java will not launch

Initial Comment:
The following error occurs when a student user launches Dr Java.  It occurs even if the student is made a local administrator on the workstation.  However the local administrator and a network administrator can both launch the program successfully.  We are applying some group policies when students log on.
Latest version.

bru...@fu...

java.lang.NullPointerException
	at edu.rice.cs.util.FileOps.getValidDirectory(FileOps.java:750)
	at edu.rice.cs.drjava.model.AbstractGlobalModel.getMasterWorkingDirectory(AbstractGlobalModel.java:609)
	at edu.rice.cs.drjava.model.AbstractGlobalModel._ensureNotEmpty(AbstractGlobalModel.java:4280)
	at edu.rice.cs.drjava.model.AbstractGlobalModel._init(AbstractGlobalModel.java:411)
	at edu.rice.cs.drjava.model.AbstractGlobalModel.<init>(AbstractGlobalModel.java:355)
	at edu.rice.cs.drjava.model.DefaultGlobalModel.<init>(DefaultGlobalModel.java:201)
	at edu.rice.cs.drjava.ui.MainFrame.<init>(MainFrame.java:2560)
	at edu.rice.cs.drjava.DrJavaRoot.main(DrJavaRoot.java:126)


System Properties:
DrJava Version 20070130-2255
java.runtime.name = Java(TM) SE Runtime Environment
sun.boot.library.path = C:\Program Files\Java\jre1.6.0\bin
java.vm.version = 1.6.0-b105
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
sun.java.launcher = SUN_STANDARD
user.country = US
sun.os.patch.level = Service Pack 2
java.vm.specification.name = Java Virtual Machine Specification
user.dir = <anonymized user.dir>
java.runtime.version = 1.6.0-b105
java.awt.graphicsenv = sun.awt.Win32GraphicsEnvironment
java.endorsed.dirs = C:\Program Files\Java\jre1.6.0\lib\endorsed
os.arch = x86
java.io.tmpdir = C:\DOCUME~1\852MIM~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.6.0\bin;.;C:\WINDOWS\Sun\Java\bin;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\system32;C:\WINDOWS;C:\WINDOWS\System32\Wbem;C:\Program Files\QuickTime\QTSystem\
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/New_York
java.awt.printerjob = sun.awt.windows.WPrinterJob
file.encoding = Cp1252
java.specification.version = 1.6
java.class.path = <anonymized user.dir>\drjava-stable-20070130-2255.exe;C:\Program Files\Java\jdk1.6.0\lib\tools.jar
user.name = <anonymized user.name>
java.vm.specification.version = 1.0
java.home = C:\Program Files\Java\jre1.6.0
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.6.0
java.ext.dirs = C:\Program Files\Java\jre1.6.0\lib\ext;C:\WINDOWS\Sun\Java\lib\ext
sun.boot.class.path = C:\Program Files\Java\jre1.6.0\lib\resources.jar;C:\Program Files\Java\jre1.6.0\lib\rt.jar;C:\Program Files\Java\jre1.6.0\lib\sunrsasign.jar;C:\Program Files\Java\jre1.6.0\lib\jsse.jar;C:\Program Files\Java\jre1.6.0\lib\jce.jar;C:\Program Files\Java\jre1.6.0\lib\charsets.jar;C:\Program Files\Java\jre1.6.0\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
sun.desktop = windows
sun.cpu.isalist = 

#DrJava configuration file
#Tue Mar 27 14:48:08 EDT 2007
key.delete.next = shift DELETE
key.delete.previous = shift BACK_SPACE


Used memory: about 2.08 megabytes
Free memory: about 2.86 megabytes
Total memory: about 4.94 megabytes
Total memory can expand to: about 127.06 megabytes



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

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