[Demonstration 1]

[Buggy Method]
public boolean setList() {
    String reminderEnabled;
    String listName = titleEditText.getText().toString();
    map = new HashMap<String, String>();
    itemNames = adapter.getNames();
    strike = adapter.getStrikes();
    if (itemNames.size() == strike.size()) {
        for (int index = 0; index < itemNames.size(); index++) {
            map.put(itemNames.get(index), strike.get(index));
        }
    }
    if (enableReminderCheckBox.isChecked()) {
        reminderEnabled = "true";
        //    list.setReminderEnabled("true");
    } else {
        reminderEnabled = "false";
        //    list.setReminderEnabled("false");
    }
    if (listName.equals("")) {
        Toast.makeText(ViewListActivity.this, "You have not entered a Title for the list. Please enter a Title!", Toast.LENGTH_SHORT).show();
        return false;
    } else if (databaseHelper.isNameInUse(list.getListID(), listName)) {
        Toast.makeText(ViewListActivity.this, "That list name is already used by another list!", Toast.LENGTH_SHORT).show();
        return false;
    } else {
        list.setListName(listName);
        list.setListItems(map);
        String dateTime = reminderTextView.getText().toString();
        if (dateTime.equals("No reminder is set")) {
            list.setReminderDate("None");
            list.setReminderTime("None");
        } else {
            list.setReminderDate(dateTime.split(" ")[0]);
            list.setReminderTime(dateTime.split(" ")[1] + dateTime.split(" ")[2]);
        }
        list.setReminderEnabled(reminderEnabled);
        databaseHelper.updateList(list);
        return true;
    }
}

[Buggy Hunk]
list.setReminderTime(dateTime.split(" ")[1]+dateTime.split(" ")[2]);

[Patch]
list.setReminderTime(dateTime.split(" ")[1]);

[Demonstration 2]

[Buggy Method]
@Override
public String[] getFileLines(String path) {
    try (BufferedReader reader = getReader(path)) {
        ArrayList<String> data = new ArrayList<>();
        String temp;
        while ((temp = reader.readLine()) != null) {
            data.add(temp);
        }
        return ((String[]) data.toArray());
    } catch (IOException e) {
        e.printStackTrace();
        return new String[0];
    }
}

[Buggy Hunk]
return ((String[]) data.toArray());

[Patch]
return (data.toArray(new String[data.size()]));

[Demonstration 3]

[Buggy Method]
private Term normalizeKSeqList(KList kList, Term toBeAdded) {
    KItem leftChild = (KItem) kList.get(0);
    Term leftChildRightTerm = ((KList) leftChild.klist()).get(1);
    Term leftChildRightTermList;
    if ((leftChildRightTerm instanceof KItem) && ((KItem) leftChildRightTerm).klabel().equals("#KSequence")) {
        leftChildRightTermList = normalizeKSeqList((KList) ((KItem) leftChildRightTerm).kList(), toBeAdded);
    } else {
        KList.Builder builder = new KList.Builder();
        builder.concatenate(leftChildRightTerm);
        builder.concatenate(toBeAdded);
        leftChildRightTermList = builder.build();
    }
    GlobalContext globalContext = leftChildRightTerm instanceof HasGlobalContext ? resolveGlobalContext((HasGlobalContext) leftChildRightTerm) : context.global();
    leftChildRightTerm = KItem.of(KLabelConstant.of("#KSequence", context.definition()), leftChildRightTermList, globalContext, leftChildRightTerm.getSource(), leftChildRightTerm.location());
    KList.Builder returnList = new KList.Builder();
    returnList.concatenate(leftChild);
    returnList.concatenate(leftChildRightTerm);
    return returnList.build();
}

[Buggy Hunk]
returnList.concatenate(leftChild);

[Patch]
returnList.concatenate(((KList) leftChild.klist()).get(0));