 java -Dfile.encoding=Cp1252 -classpath /u/chpkim/Email/bin:/u/chpkim/Email/externalResources/javabdd.jar:/u/chpkim/Email/externalResources/jpf-annotations.jar:/u/chpkim/Email/externalResources/jpf-bdd-annotations.jar:/u/chpkim/Email/externalResources/jpf-bdd-classes.jar:/u/chpkim/Email/externalResources/jpf-bdd.jar:/u/chpkim/Email/externalResources/jpf-classes.jar:/u/chpkim/Email/externalResources/jpf.jar:/u/chpkim/Email/externalResources/junit-4.6.jar:/u/chpkim/Email/externalResources/RunAnt.jar:/u/chpkim/Email/externalResources/RunJPF.jar:/u/chpkim/Email/externalResources/RunTest.jar:/u/chpkim/Email/externalResources/guidsl.jar:/u/chpkim/Email/externalResources/jakarta.jar:/u/chpkim/Email/externalResources/org.sat4j.core.jar:/u/chpkim/Email/externalResources/saxon8-dom.jar:/u/chpkim/Email/externalResources/saxon8-xpath.jar:/u/chpkim/Email/externalResources/saxon8.jar tests.EmailRUN