src/share/classes/javax/swing/text/rtf/RTFGenerator.java

Print this page

        

@@ -866,10 +866,11 @@
 {
     outputStream.write('}');
     afterKeyword = false;
 }
 
+@SuppressWarnings("fallthrough")
 public void writeCharacter(char ch)
     throws IOException
 {
     /* Nonbreaking space is in most RTF encodings, but the keyword is
        preferable; same goes for tabs */