Mathias Ricken - 2010-10-14

We need to know a little bit more about your system to fix this bug. Please go to "Help -> About" and click on "System Properties". Then, click the "Copy System Properties" button and paste the results here in a new comment.

Thanks,
The DrJava Team