--- old/src/share/classes/javax/swing/text/rtf/RTFGenerator.java	2014-04-09 19:26:21.000000000 -0700
+++ new/src/share/classes/javax/swing/text/rtf/RTFGenerator.java	2014-04-09 19:26:21.000000000 -0700
@@ -868,6 +868,7 @@
     afterKeyword = false;
 }
 
+@SuppressWarnings("fallthrough")
 public void writeCharacter(char ch)
     throws IOException
 {