with java.util.Vector; use java.util.Vector; with java.util.Observable; use java.util.Observable; with java.lang; use java.lang; package java.util.ObserverList is type ObserverList_Obj is new Vector_Obj with null record; type ObserverList_Ptr is access all ObserverList_Obj'Class; procedure notifyObservers(Obj : access ObserverList_Obj; who : Observable_Ptr; arg : Object_Ptr); pragma Import(Java, notifyObservers); end java.util.ObserverList;