jEdit: Java Programmer’s Text Editorby Robert SwarrAgoraLogos, LLCFebruary 3, 2003Copyright ? 2003 Robert Swarr, AgoraLogos, LLCThis paper is distributed under the terms of the GNU Free Documentation License.IntroductionThe overview on the jEdit website …