java soot.Main -cp classes:$CLASSPATH -f jasmin Cat1Cat2
