+redef class App
+ # Main Java Activity of this application
+ #
+ # Require: A Nit activity is currently running.
+ fun native_activity: NativeActivity is abstract
+
+ # Current reference context, either an activity or a service
+ fun native_context: NativeContext do return native_activity