/** Undo the command. */
public void undo() {
ServerWorkingCopy swc = (ServerWorkingCopy) server;
swc.setAutoPublishTime(oldTime);
}
/** Execute the command. */
public void execute() {
ServerWorkingCopy swc = (ServerWorkingCopy) server;
oldTime = swc.getAutoPublishTime();
swc.setAutoPublishTime(time);
}