+ <!-- Originally used by validation framework, currently not in use -->
+ <!-- <command
+ id="org.eclipse.ui.views.showView.problems"
+ commandId="org.eclipse.ui.views.showView"
+ label="Problems"
+ style="push">
+ <parameter
+ name="org.eclipse.ui.views.showView.viewId"
+ value="org.eclipse.ui.views.ProblemView">
+ </parameter>
+ </command> -->