| <?xml version="1.0" encoding="UTF-8"?> |
| <classpath> |
| <classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"> |
| <attributes> |
| <attribute name="annotationpath" value="/org.eclipse.ocl.pivot/annotations"/> |
| </attributes> |
| </classpathentry> |
| <classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"> |
| <attributes> |
| <attribute name="annotationpath" value="/org.eclipse.ocl.pivot/annotations"/> |
| </attributes> |
| </classpathentry> |
| <classpathentry kind="src" path="src"/> |
| <classpathentry kind="output" path="bin"/> |
| </classpath> |