@Override
	public int compare(String name1, String name2) {

		// if the names are the same ignoring case...
		int result = name1.compareToIgnoreCase(name2);
		if (result == 0) {
			// ... then reverse sort case-sensitive so lower-case comes first
			result = -name1.compareTo(name2);
		}
		return result;
	}
Comparator for sorting Strings in a case insensitive way except that case insensitive duplicates
are then sub-sorted by reverse case so that lower case is before upper case.

Example:   the strings "abc", "bob", "Bob", "zzz" would always sort as shown.  In a normal case 
insensitive sort, the "bob" and "Bob" order would be arbitrary.
Ghidra/Framework/Generic/src/main/java/ghidra/util/datastruct/CaseInsensitiveDuplicateStringComparator.java