0 jrc *.jr
0 javac jrGen/*.java
1 jrrun Example > No_input.out 2>&1
0 grep "JRMyInteger cannot be cast to MyInteger" No_input.out >/dev/null 2>&1
0 rm -rf jrGen core *.out
