mgricken / Profile

Posted a comment on ticket #342 on DrJava
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?
6 years ago
Posted a comment on ticket #320 on DrJava
Does changing the font size not work? http://www.drjava.org/docs/quickstart/ch06...
9 years ago
Posted a comment on ticket #956 on DrJava
Please remember that computers use binary and not decimal. Floating point numbers...
9 years ago
Posted a comment on ticket #956 on DrJava
Floating-point numbers cannot represent all numbers accurately. See, for example,...
9 years ago
Committed [1cb938]
Slave JVM could not be started if working dir d...
10 years ago
Committed [47c398]
Added toplevel DrJavaTestCase
10 years ago
Committed [19bcb8]
Added uncaught exception handler to MultiThread...
10 years ago
Committed [cab676]
Added version=independent methods for Arrays.to...
10 years ago