static void regularGC_firstDelay(int firstDelay) {
  set(javax(), regularGC_firstDelay := firstDelay);
  regularGC();
}