public boolean isAutoRevertStarted() { return autoRevert.isStarted(); }
public void stopAutoRevert() { autoRevert.stop(); }
public void startAutoRevert() { autoRevert.start(); }