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();
  bean.dumpHeap(f2s(file), true);
}