 java -Dfile.encoding=Cp1252 -classpath /u/chpkim/JTopas/bin:C:/eclipse/plugins/org.junit_3.8.2.v3_8_2_v20100427-1100/junit.jar:/u/chpkim/JTopas/externalResources/guidsl.jar:/u/chpkim/JTopas/externalResources/jakarta.jar:/u/chpkim/JTopas/externalResources/org.sat4j.core.jar:/u/chpkim/JTopas/externalResources/saxon8-dom.jar:/u/chpkim/JTopas/externalResources/saxon8-xpath.jar:/u/chpkim/JTopas/externalResources/saxon8.jar tests.JTopasRUN