@Override
  protected Control createContents(final Composite parent) {

    final Composite comp = new Composite(parent, SWT.NONE);
    comp.setLayout(new GridLayout(1, false));

    this.workbenchPort = new RangeBox(comp, SWT.NONE);
    workbenchPort.setIntegerBox(true);
    workbenchPort.setLabel("Port for workbench service   ");
    workbenchPort.setToolTipText(
        "The workbench service exposes the workbench as a local service for the workflow process to connect to. This allows the workflow to interact with the user interface.");
    workbenchPort.setIntegerValue(preferencesStoreWB.getInt(wbProp));
    workbenchPort.setMinimum(0);
    workbenchPort.setMaximum(65000);
    workbenchPort.setLayoutData(new GridData(SWT.FILL, SWT.LEFT, true, false));
    workbenchPort.setButtonVisible(false);

    //		this.workflowPort = new RangeBox(comp, SWT.NONE);
    //		workflowPort.setIntegerBox(true);
    //		workflowPort.setLabel("Port for workflow service     ");
    //		workflowPort.setToolTipText("The workflow service exposes the workflow as a local service
    // for the workbench process to connect to. This allows the workbench to interact with the
    // workflow process.");
    //		workflowPort.setIntegerValue(preferencesStoreWF.getInt(wfProp));
    //		workflowPort.setMinimum(0);
    //		workflowPort.setMaximum(65000);
    //		workflowPort.setLayoutData(new GridData(SWT.FILL, SWT.LEFT, true, false));
    //		workflowPort.setButtonVisible(false);

    // HACK
    parent
        .getDisplay()
        .asyncExec(
            new Runnable() {
              @Override
              public void run() {
                parent
                    .getShell()
                    .setSize(parent.getShell().getSize().x, parent.getShell().getSize().y + 1);
              }
            });

    return comp;
  }
 @Override
 protected void performDefaults() {
   workbenchPort.setIntegerValue(preferencesStoreWB.getInt(wbProp));
   // workflowPort.setIntegerValue(preferencesStoreWF.getInt(wfProp));
   super.performDefaults();
 }