[Demonstration 1]

[Buggy Method]
private static void newItemPage() {
    System.out.println("\n\n----- Clothing Store New Item -----");
    store.listProducts();
    Product item_product = store.productById(Integer.parseInt(UI.getInput("Product ID: ")));
    int quantity = Integer.parseInt(UI.getInput("Quantity: "));
    Item new_item = new Item(quantity, item_product);
    store.getCart().addItem(new_item);
}

[Buggy Hunk]
store.listProducts();

[Patch]
System.out.println(store.listProducts());

[Demonstration 2]

[Buggy Method]
public UserId storeUser(User user) {
    UserId userId = userId(randomUUID());
    accessGuide.write(FULL_NAME_MIGRATION, writeState -> {
        Map<String, String> values = newHashMap();
        if (writeState == WriteOld || writeState == WriteBoth) {
            values.put("fullName", user.firstName + " " + user.lastName);
        }
        if (writeState == WriteNew || writeState == WriteBoth) {
            values.put("firstName", user.firstName);
            values.put("lastName", user.lastName);
        }
        store.insert(userId, values);
    });
    return userId;
}

[Buggy Hunk]
accessGuide.write(FULL_NAME_MIGRATION, writeState -> {

[Patch]
accessGuide.runWriteOp(FULL_NAME_MIGRATION, writeState -> {

[Demonstration 3]

[Buggy Method]
public void solve() {
    solveH(0, 0, 1);
}

[Buggy Hunk]
solveH(0, 0, 1);

[Patch]
solveH(0, 0, 0);