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