public void destroy() {super.destroy();if (onDiskFile != null) {try {if (!onDiskFile.delete())onDiskFile.deleteOnExit();} finally {onDiskFile = null;}}}
public override void Destroy(){base.Destroy();if (onDiskFile != null){try{if (!onDiskFile.Delete()){onDiskFile.DeleteOnExit();}}finally{onDiskFile = null;}}}