run.sh  ../output/output.promc  # compiles Java code and reads this file