File list (Check if you may need any files):
JSHOP2GUI_1.0.1
...............\antlr.jar
...............\bin.build
...............\.........\JSHOP2.jar
...............\classpath.sh
...............\doc
...............\...\allclasses-frame.html
...............\...\allclasses-noframe.html
...............\...\constant-values.html
...............\...\deprecated-list.html
...............\...\help-doc.html
...............\...\index-all.html
...............\...\index.html
...............\...\JSHOP2
...............\...\......\Axiom.html
...............\...\......\Calculate.html
...............\...\......\CompileTimeObject.html
...............\...\......\CompLess.html
...............\...\......\CompMore.html
...............\...\......\DelAddAtomic.html
...............\...\......\DelAddElement.html
...............\...\......\DelAddForAll.html
...............\...\......\DelAddProtection.html
...............\...\......\Div.html
...............\...\......\Domain.html
...............\...\......\DomainElement.html
...............\...\......\Equal.html
...............\...\......\InternalAxiom.html
...............\...\......\InternalDomain.html
...............\...\......\InternalElement.html
...............\...\......\InternalMethod.html
...............\...\......\InternalOperator.html
...............\...\......\InternalVars.html
...............\...\......\JSHOP2.html
...............\...\......\JSHOP2GUI.html
...............\...\......\JSHOP2GUI.LeafTrackerDialog.html
...............\...\......\JSHOP2GUI.Node.html
...............\...\......\JSHOP2GUI.NodeRenderer.html
...............\...\......\JSHOP2GUI.PlanDialog.html
...............\...\......\JSHOP2GUI.SHOP2GUIKeyAdapter.html
...............\...\......\JSHOP2GUI.SHOP2GUIMenuHandler.html
...............\...\......\JSHOP2GUI.SHOP2GUIWindowAdapter.html
...............\...\......\JSHOP2GUI.StateWindowDialog.html
...............\...\......\JSHOP2Lexer.html
...............\...\......\JSHOP2Parser.html
...............\...\......\JSHOP2TokenTypes.html
...............\...\......\Less.html
...............\...\......\LessEq.html
...............\...\......\List.html
...............\...\......\LogicalExpression.html
...............\...\......\LogicalExpressionAssignment.html
...............\...\......\LogicalExpressionAtomic.html
...............\...\......\LogicalExpressionCall.html
...............\...\......\LogicalExpressionConjunction.html
...............\...\......\LogicalExpressionDisjunction.html
...............\...\......\LogicalExpressionForAll.html
...............\...\......\LogicalExpressionNegation.html
...............\...\......\LogicalExpressionNil.html
...............\...\......\LogicalPrecondition.html
...............\...\......\Member.html
...............\...\......\Method.html
...............\...\......\Minus.html
...............\...\......\More.html
...............\...\......\MoreEq.html
...............\...\......\Mult.html
...............\...\......\MyIterator.html
...............\...\......\NotEq.html
...............\...\......\NumberedPredicate.html
...............\...\......\Operator.html
...............\...\......\package-frame.html
...............\...\......\package-summary.html
...............\...\......\package-tree.html
...............\...\......\Plan.html
...............\...\......\PlanStepInfo.html
...............\...\......\Plus.html
...............\...\......\Power.html
...............\...\......\Precondition.html
...............\...\......\PreconditionAssign.html
...............\...\......\PreconditionAtomic.html
...............\...\......\PreconditionCall.html
...............\...\......\PreconditionForAll.html
...............\...\......\PreconditionNegation.html
...............\...\......\PreconditionNil.html
...............\...\......\Predicate.html
...............\...\......\SolverThread.html
...............\...\......\State.html
...............\...\......\StdLib.html
...............\...\......\TaskAtom.html
...............\...\......\TaskList.html
...............\...\......\Term.html
...............\...\......\TermCall.html
...............\...\......\TermConstant.html
...............\...\......\TermList.html