fun get_short(key: JavaString): Int in "Java" `{ return (short) self.getShort(key); `}