/** 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);
 }