Method getUserConfig

src/main/java/gate/Gate.java:830–832

Get the GATE development environment configuration data (initialised from gate.xml ).

()

   * <TT>gate.xml</TT>).
   */
  public static OptionsMap getUserConfig() {
    return userConfig;
  }

  /**
   * Get the original, initialisation-time, GATE development environment