if (useRand) rand = new Random(System.currentTimeMillis());
  protected AbstractHeadFinder() throws IOException, FileNotFoundException {    String headTableProperty =      Settings.headTablePrefix + Language.getLanguage();    String headTableResource = Settings.get(headTableProperty);    if (headTableResource == null) {      System.err.println(getClass().getName() + ": warning: the property \"" +			 headTableProperty + "\"" +			 " was not set;\n\tusing fallback default " +			 "\"" + fallbackDefaultHeadTableResource + "\"");      headTableResource = fallbackDefaultHeadTableResource;    }    InputStream is = Settings.getFileOrResourceAsStream(this.getClass(),							headTableResource);    int bufSize = Constants.defaultFileBufsize;    SexpTokenizer headTableTok =      new SexpTokenizer(is, Language.encoding(), bufSize);    Sexp headTable = Sexp.read(headTableTok);    readHeadTable(headTable);  }