5556575859606162636465
} } if(handle==null)handle=d.createDumpHandle(); handle.dump(); } public void setDumpFormat(String dumpFormat) { this.format=dumpFormat;