--- old/src/share/classes/javax/swing/text/html/parser/DTD.java	2014-06-10 11:51:42.000000000 -0700
+++ new/src/share/classes/javax/swing/text/html/parser/DTD.java	2014-06-10 11:51:42.000000000 -0700
@@ -370,6 +370,7 @@
     private static Hashtable<String, DTD> getDtdHash() {
         AppContext appContext = AppContext.getAppContext();
 
+        @SuppressWarnings("unchecked")
         Hashtable<String, DTD> result = (Hashtable<String, DTD>) appContext.get(DTD_HASH_KEY);
 
         if (result == null) {