!7

// Note: Deadlock solving happens in OS main too, so it will not be
// lost if GC is turned off here.

module GarbageCollection {
  bool on;
  
  start { update(); }
  
  visualize { ret toolTip("On = Perform a Java garbage collection every minute", dm_fieldCheckBox("GC On", 'on)); }
  
  update {
    print("GC: " + on);
    if (on) regularGC(); else noRegularGC();
  }
}