<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
   <extension point="org.eclipse.ocl.examples.pivot.standard_library"
         id="ocl_stdlib" name="OCL Stdlib">
     <library uri="http://www.eclipse.org/ocl/3.1.0/OCL.oclstdlib"
     	class="org.eclipse.ocl.examples.library.oclstdlib.OCLstdlib$Loader"/>
   </extension>
</plugin>