.dtrace files don't delete properly on Windows

[GoogleCodeExporter]

When running the Synoptic EndToEndMainTests, Daikonizer creates dtrace files 
for normal execution which Daikonizer later deletes.
However on windows the newly created dtrace files are never removed. The 
problems lie with Daikon because if we don't pass these files to Daikon then 
they are deleted okay.

The .dtrace files are being created and passed to Daikon in the 
genDaikonInvariants method in Daikonizer.java and they get deleted in the 
deleteDaikonFiles method in the same class. It is in this method that the call 
to daikonFile.delete does not delete files on Windows. The problem is that 
Daikon opens the files and does not close them. Resolving this issue requires 
contacting Daikon developers.

Original issue reported on code.google.com by [email protected] on 10 Mar 2014 at 2:17