A map with keys char[] did only find keys by identity (but not by equal
characters as needed).

https://github.com/eclipse-jdt/eclipse.jdt.core/issues/3418

tested by RunJavaSearchTests