New build of the Editor

Merge branch 'master' of https://github.com/marcusbakker/DeTTECT-private

Merge branch 'master' into development

removed an unnecessary line of code

Docker image failed to build (in v1.2.5 this was no issue).

Merge branch 'master' of development branch

Fix for a small bug that resulted in a stacktrace when using an inval…

…id group name as overlay.

Merge branch 'development'

Merge branch 'development'

Merge branch 'development'