@@ -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 */