fun short_extra(name: JavaString, def_value: Int): Int in "Java" `{
		return self.getShortExtra(name, (short) def_value);
	`}