Trying to initialize ServerProperties so we can use TravisCI.