FARRAGO:  remove excessive double-quotes in batch file
FARRAGO:  remove excessive double-quotes in batch file

[git-p4: depot-paths = "//open/dev/": change = 3787]

LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb,LucidDB/luciddb