This is a slightly patched version of jEdit 5.7.0 from
https://sourceforge.net/projects/jedit/files/jedit with some
additional plugins jars from
https://sourceforge.net/projects/jedit-plugins/files


        Makarius
        28-Nov-2025
