/src/scripts/

• ../
• run-java-tool.bash.in