Method getLastPathComponent

src/main/java/gate/util/Files.java:90–98

It returns the last component in a file path. It takes E.g: d:/tmp/file.txt and returns file.txt

(String path)

    * It takes E.g: d:/tmp/file.txt and returns file.txt
    */
  public static String getLastPathComponent(String path){
    if(path == null || path.length() == 0) return "";
    //we should look both for "/" and "\" as on windows the file separator is"\"
    //but a path coming from an URL will be separated by "/"
    int index = path.lastIndexOf('/');
    if(index == -1) index = path.lastIndexOf('\\');
    if(index == -1) return path;
    else return path.substring(index + 1);
  }// getLastPathComponent()

  /** Get a string representing the contents of a text file. */
  public static String getString(String fileName) throws IOException {