fun get_byte(key: JavaString): Int in "Java" `{ return self.getByte(key); `}