/app-editors/jedit/files/
../
jedit-5.2.0-build-xml.patch
jedit-5.4.0-build-xml.patch