[Demonstration 1]

[Buggy Method]
@Security.Authenticated(Private.class)
public static Result index() {
    return index_of_user(getCurrentUserId());
}

[Buggy Hunk]
return index_of_user(getCurrentUserId());

[Patch]
return indexForUser(getCurrentUserId());

[Demonstration 2]

[Buggy Method]
public boolean readWork(String b, String d, String s, String end) {
    Details(b, d, s, end);
    //------------------------------------------------------check if date already exists
    int count = 0;
    for (int i = 0; i < workhours.size(); i++) {
        if (b.equals(workhours.get(i).getBId())) {
            if (d.equals(workhours.get(i).workD())) {
                DateFormat time = new SimpleDateFormat("HH:mm");
                count++;
                try {
                    Date st = time.parse(s);
                    Date et = time.parse(end);
                    Date Bst = time.parse(workhours.get(i).getStarttime());
                    Date Bet = time.parse(workhours.get(i).getEndtime());
                    // This makes sure scheduled employee shift is within operating hours of business
                    if (et.after(Bet)) {
                        System.out.println("Can't end after closed");
                        return true;
                    } else if (st.before(Bst)) {
                        System.out.println("Can't Start before open");
                        return true;
                    }
                } catch (ParseException e) {
                    System.out.println("Invalid Time");
                    return true;
                }
            }
        }
    }
    if (count == 0) {
        System.out.println("Not Open on " + d);
        return true;
    }
    return false;
}

[Buggy Hunk]
Details(b,d,s,end);

[Patch]
Details();

[Demonstration 3]

[Buggy Method]
public Collection<String[]> getTemplateTypesAndUUIDs(BusinessRuleFromTemplate businessRuleFromTemplate) throws TemplateManagerException {
    // To store found Template UUIDs and types
    // Each entry's [0]-TemplateType [1]-TemplateUUID
    Collection<String[]> templateTypesAndUUIDs = new ArrayList();
    // UUIDs and denoted derived Templates
    Map<String, Template> derivedTemplates = deriveTemplates(businessRuleFromTemplate);
    for (Template derivedTemplate : derivedTemplates.values()) {
        // If Template is a SiddhiApp
        if (derivedTemplate.getType().equals(TemplateManagerConstants.SIDDHI_APP_TEMPLATE_TYPE)) {
            try {
                String siddhiAppName = TemplateManagerHelper.getSiddhiAppName(derivedTemplate);
                // Add type and name of template
                templateTypesAndUUIDs.add(new String[] { TemplateManagerConstants.SIDDHI_APP_TEMPLATE_TYPE, siddhiAppName });
            } catch (TemplateManagerException e) {
                // todo: (Q) Is this ok?
                log.error(e.getMessage());
            }
        }
        // Other template types are not considered for now
    }
    return templateTypesAndUUIDs;
}

[Buggy Hunk]
log.error(e.getMessage()); // todo: (Q) Is this ok?

[Patch]
log.error(e.getMessage(), e);