No need to make CaseIgnoringComparator public

.. because it's unsed only internally