 java -Dfile.encoding=Cp1252 -classpath /u/chpkim/elevator/bin:/u/chpkim/elevator/externalResources/guidsl.jar:/u/chpkim/elevator/externalResources/jakarta.jar:/u/chpkim/elevator/externalResources/org.sat4j.core.jar:/u/chpkim/elevator/externalResources/saxon8-dom.jar:/u/chpkim/elevator/externalResources/saxon8-xpath.jar:/u/chpkim/elevator/externalResources/saxon8.jar tests.ElevatorRUN