Method getFile

src/main/java/gate/util/OptionsMap.java:83–90

(Object key)

  }
  
  public File getFile(Object key) {
    try {
      return new File((String)get(key));
    }
    catch (Exception e) {
      return null;
    }
  }

  /**
   * If the object stored under key is an Double then returns its value