/EditFile.java/1.2/Wed Aug  5 13:39:21 1998//
/Editor.java/1.2/Wed Aug  5 13:39:21 1998//
/SourceTextArea.java/1.2/Wed Aug  5 13:39:22 1998//
