fun long_extra(name: JavaString, def_value: Int): Int in "Java" `{
		return (int) self.getLongExtra(name, def_value);
	`}