with gel_demo_Server; procedure launch_Server -- -- Launches the remote server. -- is begin gel_demo_Server.item.start; end launch_Server;