private void dumpBuffer(){
  output.append(buffer);
  buffer=new StringBuilder();
}

private void dumpBuffer ( ) { output . append ( buffer ) ; buffer = new StringBuilder ( ) ; }
appends the current buffer contents to the output and clears the buffer .
