<?xml version="1.0" encoding="UTF-8"?>
<PluginConfiguration>
	<AgentControllerEnvironment configuration="default">
		<Variable name="CLASSPATH_ORG_ECLIPSE_TPTP_PLATFORM_LOGGING_EVENTS" position="append" value="%PLUGINS_HOME%\org.eclipse.tptp.platform.logging.events_4.3.402.v201002100300\tlcore.jar"/>
		<Variable name="CLASSPATH_ORG_ECLIPSE_TPTP_PLATFORM_LOGGING_EVENTS" position="append" value="%PLUGINS_HOME%\org.eclipse.tptp.platform.logging.events_4.3.402.v201002100300\hlcbe101.jar"/>
		<Variable name="CLASSPATH_ORG_ECLIPSE_TPTP_PLATFORM_LOGGING_EVENTS" position="append" value="%PLUGINS_HOME%\org.eclipse.tptp.platform.logging.events_4.3.402.v201002100300\tlcbe101.jar"/>
	</AgentControllerEnvironment>
	<Option name="org.eclipse.tptp.platform.logging.events" type="version" value="4.3.402.v201002100300"/>
</PluginConfiguration>
