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

Print this page 

        
*** 866,875 ****
--- 866,876 ----
  {
      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 */