fun has_extra(extra: JavaString): Bool in "Java" `{ return self.hasExtra(extra); `}