fun launcher: JavaString in "Java" `{ return Intent.CATEGORY_LAUNCHER; `}