ModelObservable.java

class ModelObservable {
	 public abstract void undo();
 	 public abstract boolean undoAvailable();
  	 public abstract void redo();
  	 public abstract boolean redoAvailable();
}