aligned to latest VR changes
Merge branch 'master' of https://github.com/virtual-repository/virtual-semantic-repository.git
Fixed post merge