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.
android/android_framework/dex-maker/src/main/java/com/android/dx/util/TwoColumnOutput.java