Method getUserConfigFile

src/main/java/gate/Gate.java:1319–1321

Get the location of the user's config file. @return the user config file, or null if this has not yet been set (i.e. Gate.init() has not yet been called).

()

   *         <code>Gate.init()</code> has not yet been called).
   */
  public static File getUserConfigFile() {
    return userConfigFile;
  }

  /**
   * Set the URL to the "builtin" creole directory. The URL must point to a