public FileTextLoader(String path) {
    myPath=path;
    myFile=new java.io.File(path);
    if (!myFile.exists())
      throw new FileDoesNotExistException(myFile);
    int lastSlash=myPath.lastIndexOf("/");
    if (lastSlash==-1)
      lastSlash=myPath.lastIndexOf("\\");
    dir=lastSlash!=-1
      ?myPath.substring(0, lastSlash+1)
      :"";
  }