[Demonstration 1]

[Buggy Method]
@Override
public boolean commit(long time, CapsuleerSyncTracker tracker, Capsuleer container, SynchronizedEveAccount accountKey, CachedData item) {
    // Handle the four types of planetary info
    if (item instanceof PlanetaryColony) {
        PlanetaryColony api = (PlanetaryColony) item;
        if (api.getLifeStart() != 0) {
            // Special case. This is an existing PlanetaryColony to be EOL
            super.commit(time, tracker, container, accountKey, api);
        } else {
            PlanetaryColony existing = PlanetaryColony.get(accountKey, time, api.getPlanetID());
            if (existing != null) {
                if (!existing.equivalent(api)) {
                    // Evolve
                    existing.evolve(api, time);
                    super.commit(time, tracker, container, accountKey, existing);
                    super.commit(time, tracker, container, accountKey, api);
                }
            } else {
                // New entity
                api.setup(accountKey, time);
                super.commit(time, tracker, container, accountKey, api);
            }
        }
    } else if (item instanceof PlanetaryLink) {
        PlanetaryLink api = (PlanetaryLink) item;
        if (api.getLifeStart() != 0) {
            // Special case. This is an existing PlanetaryLink to be EOL
            super.commit(time, tracker, container, accountKey, api);
        } else {
            PlanetaryLink existing = PlanetaryLink.get(accountKey, time, api.getPlanetID(), api.getSourcePinID(), api.getDestinationPinID());
            if (existing != null) {
                if (!existing.equivalent(api)) {
                    // Evolve
                    existing.evolve(api, time);
                    super.commit(time, tracker, container, accountKey, existing);
                    super.commit(time, tracker, container, accountKey, api);
                }
            } else {
                // New entity
                api.setup(accountKey, time);
                super.commit(time, tracker, container, accountKey, api);
            }
        }
    } else if (item instanceof PlanetaryPin) {
        PlanetaryPin api = (PlanetaryPin) item;
        if (api.getLifeStart() != 0) {
            // Special case. This is an existing PlanetaryPin to be EOL
            super.commit(time, tracker, container, accountKey, api);
        } else {
            PlanetaryPin existing = PlanetaryPin.get(accountKey, time, api.getPlanetID(), api.getPinID());
            if (existing != null) {
                if (!existing.equivalent(api)) {
                    // Evolve
                    existing.evolve(api, time);
                    super.commit(time, tracker, container, accountKey, existing);
                    super.commit(time, tracker, container, accountKey, api);
                }
            } else {
                // New entity
                api.setup(accountKey, time);
                super.commit(time, tracker, container, accountKey, api);
            }
        }
    } else if (item instanceof PlanetaryRoute) {
        PlanetaryRoute api = (PlanetaryRoute) item;
        if (api.getLifeStart() != 0) {
            // Special case. This is an existing PlanetaryRoute to be EOL
            super.commit(time, tracker, container, accountKey, api);
        } else {
            PlanetaryRoute existing = PlanetaryRoute.get(accountKey, time, api.getPlanetID(), api.getRouteID());
            if (existing != null) {
                if (!existing.equivalent(api)) {
                    // Evolve
                    existing.evolve(api, time);
                    super.commit(time, tracker, container, accountKey, existing);
                    super.commit(time, tracker, container, accountKey, api);
                }
            } else {
                // New entity
                api.setup(accountKey, time);
                super.commit(time, tracker, container, accountKey, api);
            }
        }
    } else {
        assert false;
    }
    return true;
}

[Buggy Hunk]
PlanetaryPin existing = PlanetaryPin.get(accountKey, time, api.getPlanetID(), api.getPinID());

[Patch]
PlanetaryPin existing = PlanetaryPin.get(accountKey, time, api.getPlanetID(), api.getPinID(), api.getContentTypeID());

[Demonstration 2]

[Buggy Method]
private boolean isAfter(Calendar a, Calendar b) {
    return a != null && a.getTime().compareTo(b.getTime()) > 0;
}

[Buggy Hunk]
return a != null && a.getTime().compareTo(b.getTime()) > 0;

[Patch]
return a != null && a.after(b);

[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));