A Java based text editor