implemented the workaround JDK's failure in file.delete()...