[Demonstration 1]

[Buggy Method]
@Override
protected Void call() throws Exception {
    lx = 0;
    ly = 0;
    last = null;
    if (!showGeneration) {
    }
    while (!board.completed()) {
        updatedCells.add(generate().getCoord());
        if (showGeneration) {
            Thread.sleep(10);
        }
    }
    Platform.runLater(() -> {
        board.renderBoard();
        playerLayer.requestFocus();
    });
    return null;
}

[Buggy Hunk]
while(!board.completed()) {

[Patch]
while(!board.completed() && !this.isCancelled() ) {

[Demonstration 2]

[Buggy Method]
public static void main(String[] args) {
    //Intergration_bank_sys myintergration=new Intergration_bank_sys();
    GUI_login_study mylogin = new GUI_login_study();
    //mylogin.MyGUI.setVisible(true);
    for (int i = 0; i < 10; i++) {
        try {
            Thread.sleep(1000);
            ;
            if (mylogin.getVerifyStatus()) {
                mylogin.setVerifyStatus(false);
                Main_page mypage = new Main_page();
                mypage.setVisible(true);
                mylogin.MyGUI.setVisible(false);
            }
        } catch (InterruptedException e) {
            // TODO Auto-generated catch block
            e.printStackTrace();
        }
    }
}

[Buggy Hunk]
Thread.sleep(1000);;

[Patch]
Thread.sleep(10000);

[Demonstration 3]

[Buggy Method]
public Set<Status> search(Query query, int numberOfTweets) {
    String resource = "/search/tweets";
    QueryResult result = null;
    Set<Status> tweets = new HashSet<Status>();
    int prevTweetSize = tweets.size();
    long lastId = Long.MAX_VALUE;
    while (tweets.size() < numberOfTweets) {
        if (numberOfTweets - tweets.size() > 100) {
            // this is the maximum that could be retrieved at once
            query.setCount(100);
        } else {
            query.setCount(numberOfTweets - tweets.size());
        }
        try {
            if (decrementAndCheckRemaining(resource)) {
                result = twitter.search(query);
                prevTweetSize = tweets.size();
                tweets.addAll(result.getTweets());
                // This will ensure that if duplicates are inserted then no more queries
                if (prevTweetSize + result.getTweets().size() > tweets.size() || tweets.size() == 0) {
                    break;
                }
                for (Status tweet : tweets) {
                    if (tweet.getId() < lastId) {
                        lastId = tweet.getId();
                    }
                }
                query.setMaxId(lastId - 1);
            } else {
                System.out.println("Twitter Limit exceeded for " + resource + ", wait for " + getSecondsUntilResetForResource(resource) + " seconds");
                Thread.sleep(getSecondsUntilResetForResource(resource) * 1000);
            }
        } catch (TwitterException e) {
            System.out.println(e.getErrorMessage());
        } catch (InterruptedException e) {
            System.out.println(e.getMessage());
        }
    }
    return tweets;
}

[Buggy Hunk]
|| tweets.size() == 0) {

[Patch]
|| result.getTweets().size() == 0) {