build.xml

<?xml version="1.0" encoding="UTF-8" standalone="no"?>

<project default="create_run_jar" name="Create Runnable Jar for Project j-ReCoVer">
    <!--define folder properties-->
    <property name="dir.buildfile" value="."/>
    <property name="dir.workspace" value="${dir.buildfile}/.."/>
    <property name="dir.jarfile" value="${dir.buildfile}/"/>
	<path id="classpath">
		<fileset dir="${dir.jarfile}/lib" includes="**/*.jar"/>
	</path>

	<target name="compile">
		<mkdir dir="${dir.buildfile}/bin"/>
		<javac srcdir="${dir.buildfile}/src" destdir="${dir.buildfile}/bin" classpathref="classpath"/>
	</target>

    <target name="test" depends="compile">
        <junit printsummary="yes">
            <classpath>
                <path refid="classpath"/>
            </classpath>

            <batchtest fork="yes">
				<fileset dir="${dir.buildfile}/src" includes="**/*Test.java"/>
            </batchtest>
        </junit>
    </target>

    <target name="create_run_jar" depends="compile">
        <jar destfile="${dir.jarfile}/j-recover.jar" filesetmanifest="mergewithoutmain">
            <manifest>
                <attribute name="Main-Class" value="jRecover.Main"/>
                <attribute name="Class-Path" value="."/>
            </manifest>
            <fileset dir="${dir.buildfile}/bin"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/com.google.common_1.0.0.201004262004.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/com.microsoft.z3.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/cup-11a.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/gson-2.2.4.jar.zip"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/guava-15.0-rc1.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/guava-21.0.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/jasminclasses-2.5.0.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/jgrapht.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/jgrapht-core-1.0.1.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/lazabs.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/polyglotclasses-1.3.5.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/princess.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/rt.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/soot-2.5.0.jar"/>
            <zipfileset excludes="META-INF/*.SF" src="${dir.buildfile}/lib/sootclasses-trunk.jar"/>
        </jar>
    </target>
</project>