PDF Pro Plugin

I downloaded pdf_pro_plugin (thank you SCOTT BUTLER for writing it and HARJO for suggesting it) and it does a nice job of compressing PDFs.

After it has created the compressed copy of the pdf, I want to delete the original pdf and rename the compressed version to the original name. But the .deleteFile() function is failing (returns false). It seems like pdf_pro isn't letting go of the original file after compressing it. Using Process Explorer I see that servoy.exe still has the original PDF file open right after the .compress() has happened.

Here is the code I used

@var fileUnCompressed = plugins.file.showFileOpenDialog();
      var originalFileName = fileUnCompressed.getName()
      var compressedFileName = plugins.servoyguy_pdf_pro.compress(fileUnCompressed);

var fileCompressed = plugins.file.convertToJSFile(compressedFileName);

if (fileUnCompressed.exists()){
            if(!fileUnCompressed.deleteFile()){
                  globals.dialogError('Error: Can not delete the original pdf')    <------code always ends up here
            }           
      }

if(!fileCompressed.renameTo(originalFileName)){
            globals.dialogError('Error: Can not rename compressed pdf')
      }
@