Ptidej-v5.2-master/MoDeC Bytecode Instrumentation Tests/Instrumented Classes/Observer_ReportManager/Observable.java
//package src.OBSERVER;
// SUBJECT
public interface Observable {
  public void notifyObservers();
  public void register(Observer obs);
  public void unRegister(Observer obs);
}
