<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry path="AppleUI/src" kind="src"/>
	<classpathentry path="CH/src" kind="src"/>
	<classpathentry path="Formalism/src" kind="src"/>
	<classpathentry path="FormalismGui/src" kind="src"/>
	<classpathentry path="FS/src" kind="src"/>
	<classpathentry path="Gui/src" kind="src"/>
	<classpathentry path="GuiPrompt/src" kind="src"/>
	<classpathentry path="Loader/src" kind="src"/>
	<classpathentry path="Logging/src" kind="src"/>
	<classpathentry path="Misc/src" kind="src"/>
	<classpathentry path="Netcomponents/src" kind="src"/>
	<classpathentry path="Prompt/src" kind="src"/>
	<classpathentry path="RenewAnt/src" kind="src"/>
	<classpathentry path="Simulator/src" kind="src"/>
	<classpathentry path="Util/src" kind="src"/>
	<classpathentry path="FS/lib/collections.jar" kind="lib"/>
	<classpathentry path="lib/log4j/log4j-1.2.12.jar" kind="lib"/>
	<classpathentry path="org.eclipse.jdt.launching.JRE_CONTAINER" kind="con"/>
	<classpathentry path="bin" kind="output"/>
</classpath>
