Fix bugs concerning ServiceClient and ServerLauncher