[Demonstration 1]

[Buggy Method]
@Override
public List<Task> searchTasks(String searchText) {
    try {
        session = sessionFactory.openSession();
        Criteria criteria = session.createCriteria(Task.class);
        Criterion criterion1 = Expression.ilike("description", "%" + searchText + "%");
        criteria.add(criterion1).add(criterion1);
        List<Task> list = criteria.list();
        return list;
    } finally {
        if (session != null && session.isOpen())
            session.close();
    }
}

[Buggy Hunk]
criteria.add(criterion1).add(criterion1);

[Patch]
criteria.add(criterion1);

[Demonstration 2]

[Buggy Method]
private void jump(Giant g) {
    final Location center = g.getLocation();
    g.setVelocity(new Vector(0, 7, 0));
    List<Location> close = Lists.newArrayList();
    List<Location> medium = Lists.newArrayList();
    List<Location> far = Lists.newArrayList();
    for (int degrees = 0; degrees < 361; degrees = degrees + 45) {
        close.add(calculateCircle(center, degrees, 3));
    }
    for (int degrees = 0; degrees < 361; degrees = degrees + 45) {
        medium.add(calculateCircle(center, degrees, 5));
    }
    for (int degrees = 0; degrees < 361; degrees = degrees + 45) {
        far.add(calculateCircle(center, degrees, 10));
    }
    explode(close, 2, 3);
    explode(medium, 4, 2);
    explode(far, 6, 1);
}

[Buggy Hunk]
g.setVelocity(new Vector(0, 7, 0));

[Patch]
g.setVelocity(new Vector(0, 4.5, 0));

[Demonstration 3]

[Buggy Method]
public static Result service(String ownerName, String projectName, String service, boolean isAdvertise) throws IOException, UnsupportedOperationException, ServletException {
    if (!isSupportedService(service)) {
        return forbidden(String.format("Unsupported service: '%s'", service));
    }
    Project project = Project.findByOwnerAndProjectName(ownerName, projectName);
    if (project == null) {
        return notFound();
    }
    models.User user = UserApp.currentUser();
    if (!isAllowed(project, service)) {
        if (user.isAnonymous()) {
            return BasicAuthAction.unauthorized(response());
        } else {
            // If you want the Git client showing your custom message to
            // the user, the Content-Type should be exact "text/plain"
            // without any parameter. For more details, see the code at
            // https://github.com/git/git/commit/426e70d4a11ce3b4f70636d57c6a0ab16ae08a00#diff-eea0ad565ec5903a11b6023755d491cfR154
            response().setHeader("Content-Type", "text/plain");
            return forbidden(String.format("'%s' has no permission to '%s/%s'.", user.name, ownerName, projectName));
        }
    }
    if (isAdvertise) {
        return ok(RepositoryService.gitAdvertise(project, service, response()));
    } else {
        if (request().body().isMaxSizeExceeded()) {
            return status(REQUEST_ENTITY_TOO_LARGE);
        } else {
            user.visits(project);
            return ok(RepositoryService.gitRpc(project, service, request(), response()));
        }
    }
}

[Buggy Hunk]
user.name, ownerName, projectName));

[Patch]
user.loginId, ownerName, projectName));