.classpath

<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry kind="src" path="src"/>
	<classpathentry kind="lib" path="bin/"/>
	<classpathentry kind="lib" path="lib/java/runtime/guava.jar" sourcepath="lib/java-contrib/guava-sources.jar"/>
	<classpathentry kind="lib" path="lib/java/test/guava-testlib.jar" sourcepath="lib/java-contrib/guava-testlib-sources.jar"/>
	<classpathentry kind="lib" path="lib/java/test/truth.jar" sourcepath="lib/java-contrib/truth-sources.jar"/>
	<classpathentry kind="lib" path="lib/java/test/junit.jar"/>
	<classpathentry kind="lib" path="lib/java/test/hamcrest-core.jar"/>
	<classpathentry kind="lib" path="lib/java/build/annotations.jar"/>
	<classpathentry kind="lib" path="lib/java/build/error_prone_annotations.jar" sourcepath="lib/java-contrib/error_prone_annotations-sources.jar"/>
	<classpathentry kind="lib" path="lib/java/runtime/common.jar" sourcepath="lib/java-contrib/common-sources.jar"/>
	<classpathentry kind="lib" path="lib/java/runtime/smtinterpol.jar" sourcepath="lib/java-contrib/smtinterpol-sources.jar"/>
	<classpathentry kind="lib" path="lib/java/runtime/princess-assertionless.jar" sourcepath="lib/java-contrib/princess-sources-assertionless.zip"/>
	<classpathentry kind="lib" path="lib/java/runtime/scala-library.jar"/>
	<classpathentry kind="lib" path="lib/java/runtime/scala-actors.jar"/>
	<classpathentry kind="lib" path="lib/java/runtime/smt-parser.jar"/>
	<classpathentry kind="lib" path="lib/java/runtime/java-cup-runtime.jar"/>
	<classpathentry kind="lib" path="lib/java/runtime/com.microsoft.z3.jar"/>
	<classpathentry kind="lib" path="lib/java/test/truth-java8-extension.jar" sourcepath="lib/java-contrib/truth-java8-extension-sources.jar"/>
	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
	<classpathentry kind="src" path=".apt-generated">
		<attributes>
			<attribute name="optional" value="true"/>
		</attributes>
	</classpathentry>
	<classpathentry kind="lib" path="/SoSy-Lab Common/lib/java/build/auto-value.jar"/>
	<classpathentry kind="output" path="bin"/>
</classpath>