Bug fix #66
Closing the views on the file does not actually closes the file, but only hides the view on that file (Specification, Model, Test, ...).
EFS Workbench keeps a lock on all opened files to avoid have two instances of the tool accessing the same file. This is why the file cannot be opened (twice in this case).
To show the model window, select Tools/Model/Show Model view.