} else if (e.getSource() == contextPathText) {
execute(new SetServerContextPathCommand(server, contextPathText.getText()));
} else if (e.getSource() == usernameText) {
execute(new SetServerUsernameCommand(server, usernameText.getText()));
} else if (e.getSource() == passwordText) {
execute(new SetServerPasswordCommand(server, passwordText.getText()));
}
} finally {
updating = false;
}
}