ted is a text editor written in java