protected void superSaveFromKitToStream(StyledDocument doc, EditorKit kit, OutputStream stream) throws IOException, BadLocationException { super.saveFromKitToStream(doc, kit, stream); }