set -v
jar cfm ProofBuilder.jar manifest *.class
set +v