Author: koen.aers(a)jboss.com Date: 2010-06-24 03:57:27 -0400 (Thu, 24 Jun 2010) New Revision: 22979 Modified: trunk/jbpm/plugins/org.jbpm.gd.jpdl/src/org/jbpm/gd/jpdl/editor/JpdlEditor.java Log: fix label for deployment page Modified: trunk/jbpm/plugins/org.jbpm.gd.jpdl/src/org/jbpm/gd/jpdl/editor/JpdlEditor.java =================================================================== --- trunk/jbpm/plugins/org.jbpm.gd.jpdl/src/org/jbpm/gd/jpdl/editor/JpdlEditor.java 2010-06-24 07:56:17 UTC (rev 22978) +++ trunk/jbpm/plugins/org.jbpm.gd.jpdl/src/org/jbpm/gd/jpdl/editor/JpdlEditor.java 2010-06-24 07:57:27 UTC (rev 22979) @@ -95,7 +95,7 @@ protected void initDeploymentInfoPage() { ((JpdlContentProvider)getContentProvider()).initializeDeploymentInfo(getDeploymentInfo(), getEditorInput()); deploymentInfoEditorPage = new JpdlDeploymenEditorPage(this); - addPage(1, deploymentInfoEditorPage, "DeploymentInfo"); + addPage(1, deploymentInfoEditorPage, "Deployment"); } protected SemanticElement createMainElement() {