A Java GUI text editor application