%JAVA_HOME%\bin\java -cp .;lib\jdom.jar;lib\ltsa.jar;lib\custom.jar;lib\scenebeans.jar;lib\jel.jar;lib\xml.jar;lib\LTL2Buchi.jar;lib\bpws4j.jar;lib\xml-apis.jar;lib\log4j-1.2.4.jar;lib\xercesImpl.jar;lib\wsdl4j.jar;lib\jaxrpc.jar ic.doc.ltsa.HPWindow
