fun preference: JavaString in "Java" `{ return Intent.CATEGORY_PREFERENCE; `}