getDefaultCorpusServer and getDefaultFileServer