I cannot reproduce this, but we have a bug report with the same stack trace, so this is definitely an issue: https://sourceforge.net/p/drjava/bugs/968/ It looks like it has something to do with saving the file. Have you tried making sure the file is saved before you try to run it?
Does changing the font size not work? http://www.drjava.org/docs/quickstart/ch06...
Please remember that computers use binary and not decimal. Floating point numbers...
Floating-point numbers cannot represent all numbers accurately. See, for example,...
Slave JVM could not be started if working dir d...
Added toplevel DrJavaTestCase
Added uncaught exception handler to MultiThread...
Added version=independent methods for Arrays.to...