public void write(Writer writer) throws IOException {
   editor.write(writer);
 }