1.1 --- a/src/share/classes/com/sun/tools/doclint/HtmlTag.java Tue Aug 20 14:46:54 2013 -0700 1.2 +++ b/src/share/classes/com/sun/tools/doclint/HtmlTag.java Tue Aug 20 14:55:20 2013 -0700 1.3 @@ -30,6 +30,7 @@ 1.4 import java.util.EnumMap; 1.5 import java.util.EnumSet; 1.6 import java.util.HashMap; 1.7 +import java.util.Locale; 1.8 import java.util.Map; 1.9 1.10 import javax.lang.model.element.Name; 1.11 @@ -345,7 +346,7 @@ 1.12 WIDTH; 1.13 1.14 public String getText() { 1.15 - return name().toLowerCase(); 1.16 + return toLowerCase(name()); 1.17 } 1.18 1.19 static final Map<String,Attr> index = new HashMap<String,Attr>(); 1.20 @@ -424,11 +425,11 @@ 1.21 } 1.22 1.23 public String getText() { 1.24 - return name().toLowerCase(); 1.25 + return toLowerCase(name()); 1.26 } 1.27 1.28 public Attr getAttr(Name attrName) { 1.29 - return Attr.index.get(attrName.toString().toLowerCase()); 1.30 + return Attr.index.get(toLowerCase(attrName.toString())); 1.31 } 1.32 1.33 public AttrKind getAttrKind(Name attrName) { 1.34 @@ -450,6 +451,10 @@ 1.35 } 1.36 1.37 static HtmlTag get(Name tagName) { 1.38 - return index.get(tagName.toString().toLowerCase()); 1.39 + return index.get(toLowerCase(tagName.toString())); 1.40 + } 1.41 + 1.42 + private static String toLowerCase(String s) { 1.43 + return s.toLowerCase(Locale.US); 1.44 } 1.45 }