A java text editor