fun boolean_extra(name: JavaString, def_value: Bool): Bool in "Java" `{
		return self.getBooleanExtra(name, def_value);
	`}