<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.0"?>

<!--
 <copyright>
 </copyright>
-->

<plugin>

  <extension point="org.eclipse.ui.editors">
    <editor id = "org.eclipse.ocl.examples.modelregistry.presentation.ModelRegistryEditorID"
        name = "%_UI_ModelRegistryEditor_label"
        icon = "icons/full/obj16/ModelRegistryModelFile.gif"
        extensions = "modelregistry"
        class = "org.eclipse.ocl.examples.modelregistry.presentation.ModelRegistryEditor" 
        contributorClass="org.eclipse.ocl.examples.modelregistry.presentation.ModelRegistryActionBarContributor"/>
  </extension>    
</plugin>