/app-editors/jedit/files/

• ../
• jedit-5.2.0-build-xml.patch