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

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