helloworld	./helloworld/sootOutput-full	HelloWorld	--property=sablevm.boot.class.path=/home/2000/cpicke/spmt/benchmarks/helloworld/sootOutput-full/