Bugs item #940420, was opened at 2004-04-23 00:20
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=940420&group_id=44253
Category: Other
Group: Crashes
Status: Open
Resolution: None
Priority: 5
Submitted By: Charles Reis (csreis)
Assigned to: Nobody/Anonymous (nobody)
Summary: Command Line Indenter broken
Initial Comment:
It used to be possible to apply DrJava's indenting
algorithm to a series of files from the command line, with:
java -classpath drjava.jar
edu.rice.cs.drjava.IndentFiles *.java
That gives a java.awt.HeadlessException now, apparently
caused by some LookAndFeel related options in
OptionConstants. Full exception text below, for Java
1.4.2 and the most recent stable.
Exception in thread "main"
java.lang.ExceptionInInitializerError
at java.lang.Class.forName0(Native Method)
at java.lang.Class.forName(Class.java:141)
at
edu.rice.cs.drjava.config.OptionMapLoader.class$(OptionMapLoader.java:51)
at
edu.rice.cs.drjava.config.OptionMapLoader.<clinit>(OptionMapLoader.java:59)
at
edu.rice.cs.drjava.config.SavableConfiguration.loadConfiguration(SavableConfiguration.java:78)
at
edu.rice.cs.drjava.config.FileConfiguration.loadConfiguration(FileConfiguration.java:73)
at
edu.rice.cs.drjava.DrJava.initConfig(DrJava.java:296)
at
edu.rice.cs.drjava.DrJava.getConfig(DrJava.java:122)
at
edu.rice.cs.drjava.model.definitions.indent.Indenter.buildTree(Indenter.java:98)
at
edu.rice.cs.drjava.model.definitions.indent.Indenter.<init>(Indenter.java:64)
at
edu.rice.cs.drjava.IndentFiles.indentFiles(IndentFiles.java:130)
at
edu.rice.cs.drjava.IndentFiles.main(IndentFiles.java:102)
Caused by: java.awt.HeadlessException
at
sun.awt.HeadlessToolkit.getMenuShortcutKeyMask(HeadlessToolkit.java:194)
at
edu.rice.cs.drjava.config.OptionConstants.<clinit>(OptionConstants.java:297)
... 12 more
----------------------------------------------------------------------
You can respond by visiting:
https://sourceforge.net/tracker/?func=detail&atid=438935&aid=940420&group_id=44253
|
