publishTimeout.setMaximum(900000);
publishTimeout.setSelection(getPublishTimeout());
publishTimeout.addModifyListener(new ModifyListener() {
public void modifyText(ModifyEvent e) {
execute(new SetPublishTimeoutCommand(server, publishTimeout.getSelection()));
}
});
}