<?xml version="1.0" encoding="UTF-8"?>
<classpath>
	<classpathentry kind="src" path="org.polarsys.chess.smvExport/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.chessextension/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.contractEditor/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.contractPropertyManager/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.hierarchicalContractView/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.integration/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.profile/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.refinementView/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.safetyAnalysis/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.transformations/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.validation/src"/>
	<classpathentry kind="src" path="plugins/contracts/org.polarsys.chess.contracts.verificationService/src"/>
	<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla.flamm/src"/>
	<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla.flaxml/src"/>
	<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla.transformations/src"/>
	<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.fla/src"/>
	<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src"/>
	<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl.ui/src-gen"/>
	<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl/src"/>
	<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl/src-gen"/>
	<classpathentry kind="src" path="plugins/fla/org.polarsys.chess.xtext.fladsl/xtend-gen"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.chessmlprofile/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.codegen.ada/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.commands/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.constraints.constraintEditor/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.core/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.diagram.ui/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.discovery/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.instance.view/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.instance.view/src-gen"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.m2m/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring.edit/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring.editor/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring.tests/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.monitoring/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.multicore/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.properties.propertyEditor/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.service/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.tabbedproperties/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.test.runtime/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.validator/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.wizards/src"/>
	<classpathentry kind="src" path="plugins/org.polarsys.chess.xtext.global/src"/>
	<classpathentry kind="src" path="plugins/sba/org.polarsys.chess.statebased/src"/>
	<classpathentry kind="lib" path="plugins/fla/org.polarsys.chess.xtext.fladsl/.antlr-generator-3.2.0-patch.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/artifacts.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/content.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/features/org.polarsys.chess.contracts.feature_0.10.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/features/org.polarsys.chess.feature_0.10.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/features/org.polarsys.chess.fla.feature_0.10.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/features/org.polarsys.chess.statebased.feature_0.10.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/features/org.polarsys.chess.xtext.feature_0.10.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.chessmlprofile_0.9.0.201507281729.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.chessmlprofile_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.codegen.ada_0.9.0.201507281729.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.codegen.ada_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.commands_0.10.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.commands_0.9.0.201507281729.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.contracts.chessextension_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.contracts.integration_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.contracts.profile_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.contracts.transformations_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.contracts.validation_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.core_0.9.0.201507281729.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.core_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.discovery_0.9.0.201507281729.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.discovery_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.fla_1.0.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.fla.flamm_0.1.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.fla.flaxml_0.1.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.fla.FPTC2FLABehavior_1.0.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.fla.transformations_0.1.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.instance.view_0.0.1.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.m2m_0.8.0.201507281729.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.m2m_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.monitoring_0.1.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.multicore_0.9.2.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.service_0.10.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.service_0.9.0.201507281729.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.statebased_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.tabbedproperties_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.validator_0.10.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.validator_0.9.0.201507281729.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.wizards_0.9.0.201507281729.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.wizards_0.9.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.xtext.fladsl_1.0.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.xtext.fladsl.ui_1.0.0.201610211519.jar"/>
	<classpathentry kind="lib" path="plugins/org.polarsys.chess.updatesite/plugins/org.polarsys.chess.xtext.global_1.0.0.201610211519.jar"/>
	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER"/>
	<classpathentry kind="output" path="bin"/>
</classpath>