#vulnerable code 
                                public void check(GHPullRequest ghpr) {
        setPullRequest(ghpr);
        if (helper.isProjectDisabled()) {
            logger.log(Level.FINE, "Project is disabled, ignoring pull request");
            return;
        }

        try {
            getPullRequest(false);
        } catch (IOException e) {
            logger.log(Level.SEVERE, "Unable to get the latest copy of the PR from github", e);
            return;
        }

        updatePR(pr, pr.getUser());

        checkSkipBuild(pr);
        tryBuild();
    } 
                            #location 9 
                            #vulnerability type THREAD_SAFETY_VIOLATION
#fixed code
                                public void check(GHPullRequest ghpr) {
        setPullRequest(ghpr);
        if (helper.isProjectDisabled()) {
            logger.log(Level.FINE, "Project is disabled, ignoring pull request");
            return;
        }

        try {
            getPullRequest(false);
        } catch (IOException e) {
            logger.log(Level.SEVERE, "Unable to get the latest copy of the PR from github", e);
            return;
        }

        updatePR(pr, pr.getUser());

        tryBuild();
    }