<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
   <extension
         point="org.eclipse.ui.preferencePages">
      <page
            class="org.eclipse.opencert.infra.preferences.OpencertPreferencePage"
            id="org.eclipse.opencert.infra.preferences.opencert"
            name="Opencert">
      </page>
   </extension>

</plugin>