Jext - Version 2.4.5 A powerful Java based text editor which supplies many useful functions: undo, redo, find, replace, accents conversion, user customizable insert menu (contains some default items to develop in HTML and Java), auto save (with a specified frequency), intelligent tab indenter... Given with its sources because under GPL!