From ac02470255eded121d4b262df97d2e59aa9bcb6a Mon Sep 17 00:00:00 2001
From: Jonathan Gibbons <jjg@openjdk.org>
Date: Tue, 14 May 2013 13:55:35 -0700
Subject: [PATCH] 8014557: Mutable static field in HtmlDocletWriter

Reviewed-by: ksrini
---
 .../com/sun/tools/doclets/formats/html/HtmlDocletWriter.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/langtools/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDocletWriter.java b/langtools/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDocletWriter.java
index 6f5cbdbce1a..7057f69d848 100644
--- a/langtools/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDocletWriter.java
+++ b/langtools/src/share/classes/com/sun/tools/doclets/formats/html/HtmlDocletWriter.java
@@ -1771,7 +1771,7 @@ public class HtmlDocletWriter extends HtmlDocWriter {
         return result.toString();
     }
 
-    private static boolean isHtmlTagLetterOrDigit(char ch) {
+    private static final boolean isHtmlTagLetterOrDigit(char ch) {
         return ('a' <= ch && ch <= 'z') ||
                 ('A' <= ch && ch <= 'Z') ||
                 ('1' <= ch && ch <= '6');