/app-editors/jedit/files/

• ../
• digest-jedit-4.2
• digest-jedit-4.2-r1
• jedit-4.1-jikes-fix.patch
• jedit.desktop