Merge branch 'master' of...

Merge branch 'master' of https://git.rwth-aachen.de/monticore/EmbeddedMontiArc/simulators/RMIModelServer into docker
2 jobs for docker in 2 minutes and 10 seconds (queued for 3 seconds)
Status Job ID Name Coverage
  Windows
passed #295204
Windows10
masterJobWindows

00:00:29

 
  Linux
passed #295205
BranchJobLinux

00:01:41