<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry kind="src" path="src"/>
	<classpathentry exported="true" kind="lib" path="lib/jibx-run.jar"/>
	<classpathentry exported="true" kind="lib" path="lib/xpp3.jar"/>
	<classpathentry exported="true" kind="lib" path="lib/trove.jar"/>
	<classpathentry exported="true" kind="lib" path="lib/jasminclasses-sable-1.2.jar"/>
	<classpathentry exported="true" kind="lib" path="lib/polyglot-1.1.0.jar"/>
	<classpathentry exported="true" kind="lib" path="lib/soot-2.1.0-modified.jar"/>
	<classpathentry exported="true" kind="lib" path="lib/indus.jar" sourcepath="/Indus"/>
	<classpathentry exported="true" kind="lib" path="lib/slicer.jar" sourcepath="/JavaSlicer"/>
	<classpathentry exported="true" kind="lib" path="lib/staticanalyses.jar" sourcepath="/StaticAnalyses"/>
	<classpathentry exported="true" kind="lib" path="lib/slf4j.jar"/>
	<classpathentry exported="true" kind="lib" path="lib/xmlenc.jar"/>
	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
	<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
	<classpathentry kind="lib" path="lib/commons-cli.jar"/>
	<classpathentry exported="true" kind="lib" path="lib/commons-io.jar"/>
	<classpathentry exported="true" kind="lib" path="lib/commons-lang.jar"/>
	<classpathentry kind="lib" path="lib/commons-pool.jar"/>
	<classpathentry kind="lib" path="lib/log4jconfig.jar"/>
	<classpathentry kind="lib" path="lib/xmlunit.jar"/>
	<classpathentry kind="output" path="bin"/>
</classpath>
