import javax.management.MBeanServer;
import java.lang.management.ManagementFactory;
import com.sun.management.HotSpotDiagnosticMXBean;

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