<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry kind="src" path="src"/>
	<classpathentry kind="src" path="tools/java_cup/src"/>
	<classpathentry kind="src" path="tools/ppg/src"/>
	<classpathentry kind="src" path="tools/pth/src"/>
	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
	<classpathentry kind="output" path="bin_"/>
</classpath>
