with java.lang; use java.lang;
package java.lang.Runnable is
-- NOTE: Runnable is an "interface" type
type Runnable_Obj is new Object with null record;
pragma Convention(Java_Interface, Runnable_Obj);
type Runnable_Ptr is access all Runnable_Obj'Class;
procedure run(Obj : access Runnable_Obj);
pragma Import(Java, run);
end java.lang.Runnable;