equalsIgnoringCase()/compareIgnoringCase() for Java #611