variables. All example \glspl{mTask} are of the type \CI{Task (Main (ByteCode
() Stmt))} and can thus ask for user input first if needed for parameterized
\glspl{mTask}. The bottom panel shows the device information. In this panel,
-the devices can be created and modified. Moreover, this panel allows the user
+the devices can be created and modified. Moreover, this panel allows the user
to reconnect with a device after a restart of the server application.
\todo{redo this image}