plugin.xml

<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>
   <extension
         point="org.eclipse.ui.preferencePages">
      <page
            category="PiacereToolCustomization.preferences.page1"
            class="eu.piacere.ide.toolIntegration.kr05.preferencePage.KR05PreferencePage"
            id="PiacereIDEIntegration.KR05.preferences.page1"
            name="Model Checker Preferences">
      </page>
   </extension>
   <extension
         point="org.eclipse.core.runtime.preferences">
      <initializer
            class="eu.piacere.ide.toolIntegration.kr05.preferencePage.KR05PreferenceInitializer">
      </initializer>
   </extension>
   
   <extension
         point="org.eclipse.ui.commands">
      <command
            categoryId="eu.piacere.piacereModelsCommands.category.id"
            defaultHandler="eu.piacere.ide.toolIntegration.kr05.commandHandlers.ValidateDOMLCommandHandler"
            id="eu.piacere.piacereModelsCommands.validateDOMLCommand.id"
            name="Validate DOML">
      </command>
   </extension>
   <extension
         point="org.eclipse.ui.menus">
      <menuContribution
            allPopups="false"
            locationURI="popup:eu.piacere.eclipsePopupMenu.id">
         <command
               commandId="eu.piacere.piacereModelsCommands.validateDOMLCommand.id"
               icon="Piacere/PiacereIcon_16x16.png"
               label="Validate DOML"
               style="push"
               tooltip="Validate the DOML Specification">
            <visibleWhen
                  checkEnabled="false">
               <reference
                     definitionId="eu.piacere.piacereTool.propertyTesters.extensionPropertyTester.isDOMLXModel.id">
               </reference>
            </visibleWhen>
         </command>
      </menuContribution>
   </extension>

</plugin>