1.1 --- a/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDocletWriter.java Tue May 14 12:55:15 2013 -0700 1.2 +++ b/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDocletWriter.java Tue May 14 13:55:35 2013 -0700 1.3 @@ -1771,7 +1771,7 @@ 1.4 return result.toString(); 1.5 } 1.6 1.7 - private static boolean isHtmlTagLetterOrDigit(char ch) { 1.8 + private static final boolean isHtmlTagLetterOrDigit(char ch) { 1.9 return ('a' <= ch && ch <= 'z') || 1.10 ('A' <= ch && ch <= 'Z') || 1.11 ('1' <= ch && ch <= '6');