private final File locate(String name){
  String prefix="";
  File sourceFile=null;
  int idx=0;
  while (true) {
    if ((idx == 0) && (ToolIO.getUserDir() != null)) {
      sourceFile=new File(ToolIO.getUserDir(),name);
    }
 else {
      sourceFile=new File(prefix + name);
    }
    if (sourceFile.exists())     break;
    if (idx >= libraryPathEntries.size())     break;
    prefix=(String)libraryPathEntries.elementAt(idx++);
  }
  return sourceFile;
}

private final File locate ( String name ) { String prefix = "" ; File sourceFile = null ; int idx = 0 ; while ( true ) { if ( ( idx == 0 ) && ( ToolIO . getUserDir ( ) != null ) ) { sourceFile = new File ( ToolIO . getUserDir ( ) , name ) ; } else { sourceFile = new File ( prefix + name ) ; } if ( sourceFile . exists ( ) ) break ; if ( idx >= libraryPathEntries . size ( ) ) break ; prefix = ( String ) libraryPathEntries . elementAt ( idx ++ ) ; } return sourceFile ; }
searches for the file in current directory ( toolio . userdirectory ) and in library paths
