@Override
	public boolean equals(Object obj) {
		if (!(obj instanceof NamespaceWrappedOption)) {
			return false;
		}

		if (this == obj) {
			return true;
		}

		NamespaceWrappedOption otherOption = (NamespaceWrappedOption) obj;
		return showLocalNamespace == otherOption.showLocalNamespace &&
			showNonLocalNamespace == otherOption.showNonLocalNamespace &&
			useLocalPrefixOverride == otherOption.useLocalPrefixOverride &&
			localPrefixText.equals(otherOption.localPrefixText) &&
			showLibraryInNamespace == otherOption.showLibraryInNamespace;
	}
An option class that allows the user to edit a related group of options pertaining to
namespace display.
Ghidra/Features/Base/src/main/java/ghidra/app/util/viewer/field/NamespaceWrappedOption.java