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;