Hello, the dictionary support in these two components should take proper care for the case sensitivity.
Currently it is not well defined, because a String object in java is only equals if they match with the exact case. So if a user prepares a case insensitive dictionary, the matching would still be case sensitive, which is confusing. I suggest that we use the Dictionary object directly for the look up, and remove Dictionary.asStringSet. Any opinions on how to handle this? Jörn
