#vulnerable code 
                                public void push(File local, RemoteFile remote) throws IOException, JadbException {
        FileInputStream fileStream = new FileInputStream(local);
        push(fileStream, local.lastModified(), getMode(local), remote);
        fileStream.close();
    } 
                            #location 5 
                            #vulnerability type RESOURCE_LEAK
#fixed code
                                public void push(File local, RemoteFile remote) throws IOException, JadbException {
        try (FileInputStream fileStream = new FileInputStream(local)) {
            push(fileStream, local.lastModified(), getMode(local), remote);
        }
    }