private void flushLeft() throws IOException {
  appendNewlineIfNecessary(leftBuf,leftColumn);
  while (leftBuf.length() != 0) {
    rightColumn.write('\n');
    outputFullLines();
  }
}

private void flushLeft ( ) throws IOException { appendNewlineIfNecessary ( leftBuf , leftColumn ) ; while ( leftBuf . length ( ) != 0 ) { rightColumn . write ( '\n' ) ; outputFullLines ( ) ; } }
flushes the left column buffer , printing it and clearing the buffer . if the buffer is already empty , this does nothing .
