Property definitions

android :: ui $ Android_app_Fragment :: new
	private new (nit_window: Window)
	import Window.on_create_fragment in "Java" `{
		final nit.app.NitObject final_nit_window = nit_window;
		Window_incr_ref(nit_window);

		return new android.app.Fragment(){
			@Override
			public android.view.View onCreateView(android.view.LayoutInflater inflater,
				android.view.ViewGroup container, android.os.Bundle state) {

				return Window_on_create_fragment(final_nit_window);
			}
		};
	`}
lib/android/ui/ui.nit:350,2--363,3