Fix Permission manager
Release semaphore
Remove unneccessary Semaphore
Merge branch 'master' of https://github.com/erwinwinder/molgenis
Merge pull request #1863 from erwinwinder/master

Fix Permission manager
Merge branch 'master' of https://github.com/molgenis/molgenis