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