fun get_byte_with_def_value(key: JavaString, def_value: Int): Int in "Java" `{
		return self.getByte(key, (byte) def_value);
	`}