Bugs item #1010466, was opened at 2004-08-17 02:32
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=1010466&group_id=44253
Category: Other
Group: Crashes
Status: Open
Resolution: None
Priority: 5
Submitted By: Jonathan Lugo (jeloguy15)
Assigned to: Nobody/Anonymous (nobody)
Summary: NoClassDefException - running drjava inside drjava (Windows)
Initial Comment:
On the windows platform (1.4.2 and 1.5 build 60), I
open drjava and run DrJava from the interactions (or
from running project) and it says it can't find a
windows specific class in what I assume should be the
platform.jar.
This error does not happen when running from the
command line or when running the jar. Could it be a
classpath issue?
This error was introduced sometime after the end of July.
java.lang.NoClassDefFoundError:
edu/rice/cs/drjava/platform/WindowsPlatform
at
edu.rice.cs.drjava.platform.PlatformFactory.getPlatformSupport(PlatformFactory.java:97)
at
edu.rice.cs.drjava.platform.PlatformFactory.<clinit>(PlatformFactory.java:60)
at
edu.rice.cs.drjava.config.OptionConstants$DefaultFont.getDefaultMainFont(OptionConstants.java:174)
at
edu.rice.cs.drjava.config.OptionConstants.<clinit>(OptionConstants.java:165)
at java.lang.Class.forName0(Native Method)
at java.lang.Class.forName(Class.java:164)
at
edu.rice.cs.drjava.config.OptionMapLoader.class$(OptionMapLoader.java:61)
at
edu.rice.cs.drjava.config.OptionMapLoader.<clinit>(OptionMapLoader.java:61)
at
edu.rice.cs.drjava.config.SavableConfiguration.loadConfiguration(SavableConfiguration.java:73)
at
edu.rice.cs.drjava.config.FileConfiguration.loadConfiguration(FileConfiguration.java:73)
at edu.rice.cs.drjava.DrJava.initConfig(DrJava.java:302)
at edu.rice.cs.drjava.DrJava.main(DrJava.java:146)
... stack trace continues ...
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=1010466&group_id=44253
|
