Method getUserSessionFile

src/main/java/gate/Gate.java:1365–1367

Get the user session file. @return the file corresponding to the user session file or null, if not yet set.

()

   *         set.
   */
  public static File getUserSessionFile() {
    return userSessionFile;
  }

  /**
   * The list of plugins (aka CREOLE directories) the system knows about. This