Merge branch 'develop' of https://git.eclipse.org/r/openk-platform/org.eclipse.openk.sourcesystem.mockuptopologystate into develop