#vulnerable code 
                              public void readFromFile(String path) throws IOException {
    FileInputStream fis = new FileInputStream(path);
    DataInputStream is = new DataInputStream(fis);
    readFromStream(is);
  } 
                            #location 4 
                            #vulnerability type RESOURCE_LEAK
#fixed code
                              public void readFromFile(String path) throws IOException {
    readCoreFromFile(path);
  }