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