#!/bin/csh
java -Xmx256M abc.main.Main $* +soot -d . -soot certrevsim/*.java jsim/*/*.java lib/aspects/*/*.java