Comment 1 for bug 255295

Revision history for this message
James Collier (james-collier412) wrote :

Changed JavaEd.java/write_file() to close the file after use. See revision 19 for details.