* want to preserve case, but do not want to duplicate upper and lower case
* variants
*/
+import java.util.Locale;
+
public final class CaseInsensitiveString
{
String value;
public int hashCode()
{
return value == null ? super.hashCode()
- : value.toUpperCase().hashCode();
+ : value.toUpperCase(Locale.ROOT).hashCode();
}
}