/editors/jedit/files/

• ../
• jedit.sh.in