/app-editors/jedit/files/

• ../
• jedit-4.2-jdk-1.6.patch