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