#vulnerable code 
                                @Test
    public void testHttpDownload() {

        String url = "http://www.xxx.com/abc.zip";

        File downloadToFile = new File("/xxx/abc.zip");


        JbootHttpRequest request = JbootHttpRequest.create(url, null, JbootHttpRequest.METHOD_GET);
        request.setDownloadFile(downloadToFile);


        JbootHttpResponse response = Jboot.me().getHttp().handle(request);

        if (response.isError()){
            downloadToFile.delete();
        }

        System.out.println(downloadToFile.length());
    } 
                            #location 13 
                            #vulnerability type NULL_DEREFERENCE
#fixed code
                                @Test
    public void testHttpDownload() {

//        String url = "http://www.xxx.com/abc.zip";
//
//        File downloadToFile = new File("/xxx/abc.zip");
//
//
//        JbootHttpRequest request = JbootHttpRequest.create(url, null, JbootHttpRequest.METHOD_GET);
//        request.setDownloadFile(downloadToFile);
//
//
//        JbootHttpResponse response = Jboot.me().getHttp().handle(request);
//
//        if (response.isError()){
//            downloadToFile.delete();
//        }
//
//        System.out.println(downloadToFile.length());
    }