static void setRegularGCCountdown(int countdown) {
  setOpt(javax(), 'regularGC_countdown, countdown);
}