/editors/jedit/files/

• ../
• instscript
• jedit.sh