<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry excluding="**/.DS_Store" kind="src" path="src"/>
	<classpathentry excluding="**/.DS_Store" kind="src" path="src-xml"/>
	<classpathentry excluding="**/.DS_Store" kind="src" path="src-test"/>
	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
	<classpathentry kind="var" path="JAVACLASSES/swt/swt.jar" sourcepath="/JAVACLASSES/swt/src.zip"/>
	<classpathentry kind="var" path="JAVACLASSES/commons-pool.jar"/>
	<classpathentry kind="var" path="JAVACLASSES/commons-lang.jar"/>
	<classpathentry kind="var" path="JAVACLASSES/xmlunit.jar"/>
	<classpathentry kind="var" path="JAVACLASSES/xmlenc.jar"/>
	<classpathentry kind="var" path="JAVACLASSES/sootclasses.jar" sourcepath="PROJECTS_HOME/Misc/soot/src"/>
	<classpathentry kind="var" path="JAVACLASSES/commons-cli.jar"/>
	<classpathentry kind="var" path="JAVACLASSES/junit.jar" sourcepath="/JUNIT_SRC_HOME/junitsrc.zip"/>
	<classpathentry kind="var" path="JAVACLASSES/trove.jar" sourcepath="JAVACLASSES/src/trove.jar"/>
	<classpathentry kind="var" path="JAVACLASSES/jibx-run.jar" sourcepath="/USRLOCALSRC/xml/jibx/core"/>
	<classpathentry kind="var" path="BANDERA/lib/banderaCommons/banderaCommons.jar"/>
	<classpathentry kind="var" path="BANDERA/lib/banderaToolFramework/banderaToolFramework.jar"/>
	<classpathentry kind="var" path="JAVACLASSES/jasminclasses-sable-1.2.jar"/>
	<classpathentry kind="var" path="JAVACLASSES/polyglot.jar"/>
	<classpathentry kind="var" path="JAVACLASSES/nlog4j.jar"/>
	<classpathentry kind="var" path="JAVACLASSES/commons-io.jar"/>
	<classpathentry kind="output" path="build"/>
</classpath>
