svoid clearAllPrintBuffers() {
  for (StringBuffer s : allPrintBuffers()) {
    s.setLength(0);
    s.trimToSize();
  }
}