static void quietGC() {
  setOpt(getJavaX(), "regularGC_minPrint", Integer.MAX_VALUE);
}