svoid clearAllPrintBuffers() {
  for (StringBuffer s : allPrintBuffers())
    clearPrintBuffer(s);
}