Permission is granted to copy, distribute and/or modify this document
under the terms of the
GNU Free Documentation License, Version 1.1 or any later version
published by the Free Software Foundation; with no “Invariant
Sections”, “Front-Cover Texts” or “Back-Cover
Texts”, each as defined in the license. A copy of the license is
contained in the file COPYING.DOC.txt included with
jEdit.