 java -Dfile.encoding=Cp1252 -classpath /u/chpkim/GPL/bin:/u/chpkim/GPL/externalResources/gs-core-1.1.1.jar:/u/chpkim/GPL/externalResources/gs-ui-1.1.1.jar:/u/chpkim/GPL/externalResources/guidsl.jar:/u/chpkim/GPL/externalResources/jakarta.jar:/u/chpkim/GPL/externalResources/org.sat4j.core.jar:/u/chpkim/GPL/externalResources/saxon8-dom.jar:/u/chpkim/GPL/externalResources/saxon8-xpath.jar:/u/chpkim/GPL/externalResources/saxon8.jar tests.GPLRUN