fun dock_state: JavaString in "Java" `{ return Intent.EXTRA_DOCK_STATE; `}