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