.project

<?xml version="1.0" encoding="UTF-8"?>
<projectDescription>
	<name>OpenJMLDemo</name>
	<comment></comment>
	<projects>
	</projects>
	<buildSpec>
		<buildCommand>
			<name>org.eclipse.jdt.core.javabuilder</name>
			<arguments>
			</arguments>
		</buildCommand>
		<buildCommand>
			<name>org.openjml.AutoAntBuildFile.Builder</name>
			<arguments>
			</arguments>
		</buildCommand>
		<buildCommand>
			<name>org.jmlspecs.OpenJMLUI.JMLBuilder</name>
			<arguments>
			</arguments>
		</buildCommand>
	</buildSpec>
	<natures>
		<nature>org.eclipse.jdt.core.javanature</nature>
		<nature>org.openjml.AutoAntBuildFile.Nature</nature>
		<nature>org.jmlspecs.OpenJMLUI.JMLNatureID</nature>
	</natures>
	<variableList>
		<variable>
			<name>OPENJML_RUNTIME_LIBRARY</name>
			<value>$%7BPARENT-1-PROJECT_LOC%7D/OpenJML/tempjars/jmlruntime.jar</value>
		</variable>
	</variableList>
</projectDescription>