I understand the importance of this, and I would like to get
this fixed as soon as possible. However, I cannot fix this
without more information about what the problem is. DrJava
starts successfully on my copies of Mac OS X and Windows
2000, so I cannot determine why it is not working for you.
Please open a Terminal on Mac OS X. (It's in the
Applications -> Utilities folder.) Run DrJava from there
with the following command:
java -jar drjava-stable-20020814.jar
(Include the path to the DrJava jar.)
I expect there to be an error message printed if DrJava is
not starting. Please copy this error message and paste it
as a followup to this bug. As soon as you get me this
information, I can look into how to fix the problem.
A new release is on the way, possibly today or tomorrow. If
I can get your feedback before then, I'll include a fix for
this. Otherwise, I'll do another release as soon as this is
working.
One last thing: I've posted a jar file on my web site which
includes fixes to some earlier bugs. This is not a release,
but it may or may not affect the issue you're having. Try
downloading it to see if it helps at all:
Changed the title of this bug to reflect the cause (used to
be "MacOS-X last (stable ?) version quits."). Essentially,
DrJava is converting a known KeyStroke option to a string
(which is formatted in the local language) and then trying
to parse it, which appears to only work in English. I'll
make sure this is the case and look around on the Java
forums for a solution.
Specific stack trace:
Exception in thread "main"
java.lang.ExceptionInInitializerError: Could not parse
configuration option.
Option: key.save.file.as
Given value: "meta maj S"
Must be a valid string representation of a Keystroke.
at
edu.rice.cs.drjava.config.KeyStrokeOption.parse(KeyStrokeOption.java:114)
at
edu.rice.cs.drjava.config.KeyStrokeOption.parse(KeyStrokeOption.java:52)
at
edu.rice.cs.drjava.config.OptionParser.setString(OptionParser.java:104)
at
edu.rice.cs.drjava.config.KeyStrokeOption.setString(KeyStrokeOption.java:52)
at
edu.rice.cs.drjava.config.DefaultOptionMap.setString(DefaultOptionMap.java:
68)
at
edu.rice.cs.drjava.config.OptionMapLoader.<clinit>(OptionMapLoader.java:75)
at
edu.rice.cs.drjava.config.SavableConfiguration.loadConfiguration
(SavableConfiguration.java:71)
at
edu.rice.cs.drjava.config.FileConfiguration.loadConfiguration
(FileConfiguration.java:66)
at
edu.rice.cs.drjava.config.DefaultFileConfig.evaluate(ConfigurationTool.java:
81)
at
edu.rice.cs.drjava.config.ConfigurationTool.<clinit>(ConfigurationTool.java:
64)
at edu.rice.cs.drjava.DrJava.<clinit>(DrJava.java:64)
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
I haven't been able to fix this bug, but I have created a
work-around for it-- any key binding which Java cannot parse
in the user's language is simply ignored. This is an
inconvenience, but is clearly better than not having DrJava
start at all.
I have posted a build of DrJava with this work-around at the
following address:
Fixed in the drjava-20020906-2148 commit, which I am about
to release. It turned out that only the key modifiers
(ctrl, alt, shift, meta) were locale-specific, so we now
output them manually in English so that they can be parsed
by KeyStroke.getKeystroke(s).
For future reference (for the DrJava team), a JVM can be
started in any locale using command line arguments:
Logged In: YES
user_id=429731
I understand the importance of this, and I would like to get
this fixed as soon as possible. However, I cannot fix this
without more information about what the problem is. DrJava
starts successfully on my copies of Mac OS X and Windows
2000, so I cannot determine why it is not working for you.
Please open a Terminal on Mac OS X. (It's in the
Applications -> Utilities folder.) Run DrJava from there
with the following command:
java -jar drjava-stable-20020814.jar
(Include the path to the DrJava jar.)
I expect there to be an error message printed if DrJava is
not starting. Please copy this error message and paste it
as a followup to this bug. As soon as you get me this
information, I can look into how to fix the problem.
A new release is on the way, possibly today or tomorrow. If
I can get your feedback before then, I'll include a fix for
this. Otherwise, I'll do another release as soon as this is
working.
One last thing: I've posted a jar file on my web site which
includes fixes to some earlier bugs. This is not a release,
but it may or may not affect the issue you're having. Try
downloading it to see if it helps at all:
http://www.owlnet.rice.edu/~creis/drjava/
Thanks for your help,
Charlie Reis
Logged In: YES
user_id=429731
Changed the title of this bug to reflect the cause (used to
be "MacOS-X last (stable ?) version quits."). Essentially,
DrJava is converting a known KeyStroke option to a string
(which is formatted in the local language) and then trying
to parse it, which appears to only work in English. I'll
make sure this is the case and look around on the Java
forums for a solution.
Specific stack trace:
Exception in thread "main"
java.lang.ExceptionInInitializerError: Could not parse
configuration option.
Option: key.save.file.as
Given value: "meta maj S"
Must be a valid string representation of a Keystroke.
at
edu.rice.cs.drjava.config.KeyStrokeOption.parse(KeyStrokeOption.java:114)
at
edu.rice.cs.drjava.config.KeyStrokeOption.parse(KeyStrokeOption.java:52)
at
edu.rice.cs.drjava.config.OptionParser.setString(OptionParser.java:104)
at
edu.rice.cs.drjava.config.KeyStrokeOption.setString(KeyStrokeOption.java:52)
at
edu.rice.cs.drjava.config.DefaultOptionMap.setString(DefaultOptionMap.java:
68)
at
edu.rice.cs.drjava.config.OptionMapLoader.<clinit>(OptionMapLoader.java:75)
at
edu.rice.cs.drjava.config.SavableConfiguration.loadConfiguration
(SavableConfiguration.java:71)
at
edu.rice.cs.drjava.config.FileConfiguration.loadConfiguration
(FileConfiguration.java:66)
at
edu.rice.cs.drjava.config.DefaultFileConfig.evaluate(ConfigurationTool.java:
81)
at
edu.rice.cs.drjava.config.ConfigurationTool.<clinit>(ConfigurationTool.java:
64)
at edu.rice.cs.drjava.DrJava.<clinit>(DrJava.java:64)
Logged In: YES
user_id=429731
I haven't been able to fix this bug, but I have created a
work-around for it-- any key binding which Java cannot parse
in the user's language is simply ignored. This is an
inconvenience, but is clearly better than not having DrJava
start at all.
I have posted a build of DrJava with this work-around at the
following address:
http://drjava.sf.net/no-keys.html
I'll continue to update this bug report as I make progress
on actually fixing the bug. Hopefully this build will help
in the mean time.
Logged In: YES
user_id=429731
Fixed in the drjava-20020906-2148 commit, which I am about
to release. It turned out that only the key modifiers
(ctrl, alt, shift, meta) were locale-specific, so we now
output them manually in English so that they can be parsed
by KeyStroke.getKeystroke(s).
For future reference (for the DrJava team), a JVM can be
started in any locale using command line arguments:
java -Duser.language=fr -Duser.country=FR MainClass