* This program which should be named "mginit" calls "ServerStartup" * to start the server of MiniGUI-Processes. */
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected