[Demonstration 1]

[Buggy Method]
private void flush(boolean sync, boolean finish) {
    if (zo == null)
        zo = new Deflater(9);
    zo.setInput(wbuf, 0, wh);
    if (finish)
        zo.finish();
    while (!zo.needsInput()) {
        if (bk.wt - bk.wh < 1)
            bk.overflow(1024);
        int rv = zo.deflate(bk.wbuf, bk.wh, bk.wt - bk.wh, sync ? Deflater.SYNC_FLUSH : Deflater.NO_FLUSH);
        bk.wh += rv;
    }
    wh = 0;
    if (finish) {
        zo.end();
        zo = null;
    }
}

[Buggy Hunk]
while(!zo.needsInput()) {

[Patch]
while(!zo.needsInput() || (finish && !zo.finished())) {

[Demonstration 2]

[Buggy Method]
@Override
public void onItemClick(AdapterView<?> parent, View view, int position, long id) {
    Favorite fav = favorites.get(position);
    DwDbHelper ddh = new DwDbHelper(FavoritesActivity.this);
    WidgetHelper wh = new WidgetHelper(FavoritesActivity.this);
    switch(fav.getType()) {
        case "dzj":
            wh.showBook(ddh.getBook(fav.getTid()));
            return;
        case "ddc":
            wh.showDdc(fav.getExtra());
            break;
    }
}

[Buggy Hunk]
wh.showDdc(fav.getExtra());

[Patch]
wh.showDdc(fav.getExtra(), fav.getTitle());

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