--- old/src/share/classes/javax/swing/text/html/StyleSheet.java	2014-04-08 15:39:43.000000000 -0700
+++ new/src/share/classes/javax/swing/text/html/StyleSheet.java	2014-04-08 15:39:43.000000000 -0700
@@ -2324,6 +2324,7 @@
          * @param itemNum number to format
          * @param type    type of ordered list
          */
+        @SuppressWarnings("fallthrough")
         String formatItemNum(int itemNum, char type) {
             String numStyle = "1";