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