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