/editors/jedit-devel/files/

• ../
• instscript
• jedit.sh.in