public void addFile(String filename,String filePath){
  int pathIndex=filePathList.indexOf(filePath);
  if (pathIndex == -1) {
    fileNameList.add(filename);
    filePathList.add(filePath);
  }
}

public void addFile ( String filename , String filePath ) { int pathIndex = filePathList . indexOf ( filePath ) ; if ( pathIndex == - 1 ) { fileNameList . add ( filename ) ; filePathList . add ( filePath ) ; } }
adds record of a new file , by filename and path . the path may be relative to a source compilation path .
