uml2vdm translation fails with FileNotFoundException

[c4rlo14]

Summary

Invoking Translate to VDM from the contextual menu of VS Code client throws a FileNotFoundException, and an empty .generated/uml2vdm folder is created.

Steps to reproduce

1. Open a workspace containing a .puml file
2. Right-click the file --> Translate to VDM
3. Observe the exception in the output console

Thrown exception

[nickbattle]

Was this problem because it was a VDM-SL source, rather than VDM++/RT? Something was added to defend against this?