In https://github.com/openjdk/jdk/pull/16788#issuecomment-1827984539 the bot seemingly incorrectly thought that the user full name in GitHub and the user commit weren't the same. The problem was that a unicode character was encoded differently, one as a composition and one as a single character. After having read up a bit on unicode, this is a common problem and to properly compare unicode strings, one should normalize them first. Java provides java.text.Normalizer for this purpose and we should apply it when comparing strings that may contain unicode characters.