My own copy of jEdit's repository from jedit.sourceforge.net.
Primary LanguageJava
This repository is not active