static void setGCFrequency(double seconds) {
  if (!_inCore()) ret with call(javax(), 'setGCFrequency, seconds);
  lock generalLock();
  cancelTimer(regularGC_timer);
  regularGC_timer = null;
  regularGC_interval = regularGC_firstDelay = toInt(toMS(seconds));
  regularGC();
}