// shucks
}
} else if (e.getSource() == debugPortText) {
try {
int debugPort = Integer.parseInt(debugPortText.getText());
execute(new SetServerDebugPortCommand(server, debugPort));
} catch (NumberFormatException ex) {
// shucks
ex.printStackTrace();
}
} else if (e.getSource() == contextPathText) {