// Note: On OpenJ9, the class HotSpotDiagnosticMXBean does not seem to exist.

import javax.management.MBeanServer;
import java.lang.management.ManagementFactory;

static void dumpHeap(File file) ctex {
  MBeanServer server = ManagementFactory.getPlatformMBeanServer();
  virtual HotSpotDiagnosticMXBean bean = 
    ManagementFactory.newPlatformMXBeanProxy(server,
    "com.sun.management:type=HotSpotDiagnostic", classForName("com.sun.management.HotSpotDiagnosticMXBean"));
  file.delete();
  mkdirsForFile(file);
  temp tempInfoBoxForever("Dumping heap...");
  long time = sysNow();
  call(bean, 'dumpHeap, f2s(file), true);
  done2_always(time, "Done. " + fileInfo(file));
}