--- old/src/share/classes/javax/swing/text/html/StyleSheet.java 2014-04-22 17:13:15.000000000 -0700
+++ new/src/share/classes/javax/swing/text/html/StyleSheet.java 2014-04-22 17:13:15.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";