with java.lang; use java.lang; package java.awt.GridBagLayoutInfo is type GridBagLayoutInfo_Obj is new Object with null record; type GridBagLayoutInfo_Ptr is access all GridBagLayoutInfo_Obj'Class; end java.awt.GridBagLayoutInfo;