with java.lang; use java.lang; package java.util.HashtableEntry is type HashtableEntry_Obj is new Object with null record; type HashtableEntry_Ptr is access all HashtableEntry_Obj'Class; end java.util.HashtableEntry;