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

*** 146,155 ****
--- 146,156 ----
        currentCharacters.append(s);
      else
        handleText(s);
    }
  
+   @SuppressWarnings("fallthrough")
    public void write(char ch)
      throws IOException
    {
      boolean ok;