I've noticed that if I open up a file in DrJava that has
been marked "Read-Only", make changes to the file, and
click the "Save" button, I do not get the I/O error
warning about the read-only status of the file, the file is
saved over the read-only version, and the new file is not
read-only. This bug occurs in version 2003-07-24, and
it does not occur in version 2003-03-13. It's currently
wreaking havoc on my source control...