ObservablePQueue.java

import java.util.Observable;
import store.*;

public class ObservablePQueue extends ObservableStore {
   public ObservablePQueue() {store = new PQueue();}
   public ObservablePQueue(COMPARER c) {store = new PQueue(c);}
}