Mathias Ricken - 2010-10-05

Are you using the latest version of DrJava from our website? http://drjava.org

Can you press on the "More Information" button, then on the "Copy This Error" button, and then paste the information that was copied into the clipboard into this website, please?