code: private File getConfigIni(File galaxyRoot) {
      if (isPre20141006Release(galaxyRoot)) {
        return new File(galaxyRoot, "universe_wsgi.ini");
      } else {
        File configDirectory = new File(galaxyRoot, CONFIG_DIR_NAME);
        return new File(configDirectory, "galaxy.ini");
      }
    }
docs: Gets the config ini for this Galaxy installation.
  @param galaxyRoot  The root directory of Galaxy.
  @return  A File object for the config ini for Galaxy.