JCuteGuiExecLog1.java

class JCuteGuiExecLog1 {
	public static void main(String args[]){
		cute.gui.JCuteTextUI tui = new cute.gui.JCuteTextUI(false);
		tui.updateSoftCompleted();
		tui.setSrcDirName("d:\\sync\\work\\cute\\java/src");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/Demo.java");
		tui.setCompilableExt();
		tui.setOptionExtraOptions("");
		tui.setOptionSequential(false);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(100);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName(".");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setMainClassNamePlusFun("tests.Demo.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(6));
		tui.continueAction("");
		tui.setOptionExtraOptions("");
		tui.setOptionSequential(true);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(100);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/Struct.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("tests.Struct.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(32));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/BSTree.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("tests.BSTree.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(8));
		tui.addExitValue(new Integer(1));
		tui.addExitValue("");
		tui.continueAction("");
		tui.setOptionExtraOptions("");
		tui.setOptionSequential(false);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(100);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/Xy.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("tests.Xy.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(6));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/ProducerConsumerTest.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("tests.ProducerConsumerTest.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/CTest1.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("tests.CTest1.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(6));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/CTest2.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("tests.CTest2.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/DemoLock2.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("tests.DemoLock2.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/DSort.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("tests.DSort.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(32));
		tui.addExitValue(new Integer(32));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/SwitchTest.java");
		tui.setCompilableExt();
		tui.setOptionExtraOptions("");
		tui.setOptionSequential(true);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(100);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setMainClassNamePlusFun("tests.SwitchTest.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setOptionExtraOptions("");
		tui.setOptionSequential(false);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(530);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/tests/StringBuffer.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("tests.StringBuffer.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(8));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(8));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(8));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/security/ns/NS.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("security.ns.NS.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(32));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/security/tmn/TMN.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("security.tmn.TMN.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(32));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.continueAction("");
		tui.setOptionExtraOptions("");
		tui.setOptionSequential(false);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(10);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/jpf_test_cases/nestedmonitors/NestedMonitor.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("jpf_test_cases.nestedmonitors.NestedMonitor.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(16));
		tui.addExitValue(new Integer(16));
		tui.addExitValue(new Integer(18));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/jpf_test_cases/pipeline/PipeInttest.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("jpf_test_cases.pipeline.PipeInttest.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(34));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/jpf_test_cases/rax/START.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("jpf_test_cases.rax.START.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(20));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(20));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(20));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(20));
		tui.addExitValue(new Integer(4));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/jpf_test_cases/readerswriters/RWVSNTest.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("jpf_test_cases.readerswriters.RWVSNTest.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(36));
		tui.addExitValue(new Integer(4));
		tui.addExitValue(new Integer(4));
		tui.continueAction("");
		tui.setOptionExtraOptions("");
		tui.setOptionSequential(false);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(50);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/jpf_test_cases/boundedbuffer/BoundedBuffer.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("jpf_test_cases.boundedbuffer.BoundedBuffer.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(16));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.continueAction("");
		tui.setOptionExtraOptions("");
		tui.setOptionSequential(true);
		tui.setOptionPrintOutput(false);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(120);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/jpf_test_cases/DEOS/DEOS.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("jpf_test_cases.DEOS.DEOS.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(32));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.continueAction("");
		tui.setOptionExtraOptions("-n 3");
		tui.setOptionSequential(true);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(1000);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/dtests/SpinSort.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("dtests.SpinSort.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setOptionExtraOptions("-n 4");
		tui.setOptionSequential(true);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(1000);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setOptionExtraOptions("-n 5");
		tui.setOptionSequential(true);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(1000);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/dtests/Leader.java");
		tui.setCompilableExt();
		tui.setOptionExtraOptions("-n 3");
		tui.setOptionSequential(true);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(1000);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setMainClassNamePlusFun("dtests.Leader.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setOptionExtraOptions("-n 4");
		tui.setOptionSequential(true);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(1000);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/dtests/ShortestPath.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("dtests.ShortestPath.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setOptionExtraOptions("-n 5");
		tui.setOptionSequential(true);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(1000);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(2));
		tui.continueAction("");
		tui.setOptionExtraOptions("-n 3");
		tui.setOptionSequential(true);
		tui.setOptionPrintOutput(true);
		tui.setOptionGenerateJUnit(false);
		tui.setOptionLogPath(false);
		tui.setOptionLogTraceAndInput(false);
		tui.setOptionLogLevel(2);
		tui.setOptionNumberOfPaths(6);
		tui.setOptionDepthForDFS(0);
		tui.setOptionQuickSearchThreshold(100);
		tui.setOptionSearchStrategy(0);
		tui.setOptionJUnitOutputFolderName("d:/sync/work/cute/java");
		tui.setOptionJUnitPkgName("");
		tui.updateSoftCompleted();
		tui.setSrcFileName("d:\\sync\\work\\cute\\java/src/dtests/LeaderBuggy.java");
		tui.setCompilableExt();
		tui.setMainClassNamePlusFun("dtests.LeaderBuggy.main");
		tui.compileAction();
		tui.deleteAction();
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(0));
		tui.addExitValue(new Integer(32));
		tui.addExitValue(new Integer(32));
		tui.continueAction("");
		tui.quitAction();
	}
}