rmiPort = toolkit.createText(composite, getRMIPort(), SWT.BORDER);
rmiPort.setLayoutData(new GridData(SWT.FILL, SWT.CENTER, false, false));
rmiPort.addModifyListener(new ModifyListener() {
public void modifyText(ModifyEvent e) {
execute(new SetRMIPortCommand(server, rmiPort.getText()));
}
});
}