javac -classpath %1\JCircusUtil.jar;%1\phwclasses.jar;%1\jcspclasses.jar; $proj\typing\*.java $proj\axiomaticDefinitions\*.java $proj\processes\*.java $proj\gui\*.java $proj\*.java
java -classpath %1\JCircusUtil.jar;%1\phwclasses.jar;%1\jcspclasses.jar; $proj.$main