A developmental Java text editor.