Problems occurred while trying to save the state of the workbench.
Could not write metadata for /resources.
/Users/rioba/Servoy/workbench/.metadata/.plugins/org.eclipse.core.resources/.projects/resources/.markers (No such file or directory)
I checked the 4.1 folder (which I duplicated before installing the new version) but I could not find any hidden folder or file with such a name. Please note that I did not make any operation with 4.1.1: just installed, opened developer and tried to close when I got this message.