/app-editors/jedit/files/

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