fun time_changed: JavaString in "Java" `{ return Intent.ACTION_TIME_CHANGED; `}