fun desk_dock: JavaString in "Java" `{ return Intent.CATEGORY_DESK_DOCK; `}