} catch (NumberFormatException ex) {
// shucks
ex.printStackTrace();
}
} 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()));
}