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;