[Demonstration 1]

[Buggy Method]
@Override
public void onDataArrived(Message message) {
    try {
        switch(message.getCommand()) {
            case ID:
                System.out.println("### Successfully connected, id: " + message.getSession().getId());
                System.out.println("### Welcome to PeppaChat! Please enter your name:");
                this.session = message.getSession();
                queue.put(gson.toJson(new Message(session, Command.REGISTER, botName)));
                connection.notifyToSend();
                break;
            case REGISTER:
                this.session = message.getSession();
                System.out.println("### " + message.getText());
                break;
            case SERVER_MESSAGE:
                System.out.println("### " + message.getText());
                break;
            case MESSAGE:
                System.out.println(message.getText());
                break;
            default:
                System.out.println(message.getText());
        }
    } catch (Exception e) {
        System.out.println(e);
    }
}

[Buggy Hunk]
System.out.println(message.getText());

[Patch]
System.out.println("(" + botName + ") " + message.getText());

[Demonstration 2]

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

[Demonstration 3]

[Buggy Method]
public static void main(String[] args) /**
 * Reads in initial board configuration, runs the solver, and
 * displays the results to standard output.
 *
 * @param args commandline arguments (filename)
 */
{
    if (args.length != 1)
        printUsage();
    // Read input file
    Path input_file = Paths.get(args[0]);
    System.out.println("Using the file " + input_file + " for input.");
    boolean good_file = Files.isRegularFile(input_file) & Files.isReadable(input_file);
    if (!good_file)
        printError("invalid input file " + input_file);
    // Build the board
    GameBoard board = null;
    try {
        board = new GameBoard(input_file);
    } catch (Exception e) {
        printError(e.getMessage());
    }
    board.printState();
    if (board.solve()) {
        System.out.println("Solution found!");
        board.printState();
    } else {
        System.out.println("No solution found.");
        System.out.println("Try another board config.");
    }
}

[Buggy Hunk]
if (board.solve())

[Patch]
if (board.solve(false))