// // Stream manipulation // final void superLoadFromStreamToKit(StyledDocument doc, InputStream stream, EditorKit kit) throws IOException, BadLocationException { super.loadFromStreamToKit(doc, stream, kit); }
// // Stream manipulation // final void superLoadFromStreamToKit(StyledDocument doc, InputStream stream, EditorKit kit) throws IOException, BadLocationException { super.loadFromStreamToKit(doc, stream, kit); }