* A bug which lead the UBIK Sequence Generator not wokring was fixed.
* CUI: a problem in TryRegisterUbikObjectForExprt was solved. Objects with an empty Comos UID do not get linked to a random proxy anymore.
* An issue was fixed where missleading null-pointer exceptions where logged when the environment cannot be established (e.g. because of outdated plugins)
'''Release 4.7.0.10005'''