#!/bin/csh
abc $* +soot -d . -soot GPL/*.java