# Watch: https://www.jedit.org/index.php?page=download jedit([0-9.]+)source[.]tar
           SPELL=jedit
         VERSION=4.5.0
          SOURCE=jedit${VERSION}source.tar.bz2
SOURCE_DIRECTORY=$BUILD_DIRECTORY/jEdit
   SOURCE_URL[0]=http://downloads.sourceforge.net/sourceforge/${SPELL}/${SPELL}/${VERSION}/${SOURCE}
        WEB_SITE=https://www.jedit.org
         ENTERED=20040608
     SOURCE_HASH=sha512:1822c1060f061fade89d4fcb7f16b07763f7f8cfb1e572fe21ee19be15dcee3b97b0bdd01cb4ad5ac0ce383468029ea60475266ac8c0723648deced6bd8040b9
      LICENSE[0]=GPL
        KEYWORDS="editors"
           SHORT="jEdit is a mature and well-designed programmer's text editor that has been in development for over 5 years."
cat << EOF
jEdit is a mature and well-designed programmer's text editor that has been in
development for over 5 years. jEdit beats many expensive development
tools for features and ease of use:
Written in Java, Built-in macro language, extensible plugin architecture,
Dozens of macros and plugins available, Plugins can be downloaded and installed
From within jEdit using the "plugin manager" feature, Auto indent and syntax
highlighting for more than 80 languages, Supports a large number of character
encodings including UTF8 and Unicode, Folding for selectively hiding regions of
text, Word wrap, Highly configurable and customizable, Every other feature both
basic and advanced, you would expect to find in a text editor.
EOF
