text editor written in java