[Demonstration 1]

[Buggy Method]
private void handleGameInfoRequest(PrintWriter out, User user, Game game) {
    Date now = new Date();
    Date endTime = game.GetEndTime();
    boolean playerHasWon = game.HasPlayerWon(user);
    Map<String, Object> responseData = new HashMap();
    Map<String, String> riddlesNameAndLocations = new HashMap<>();
    Map<String, Integer> riddleNamesAndIds = new HashMap<>();
    if (!playerHasWon && endTime.after(now)) {
        for (Riddle riddle : game.GetUserRiddlesToSolve(user)) {
            riddlesNameAndLocations.put(riddle.getName(), riddle.getM_Location());
            riddleNamesAndIds.put(riddle.getName(), riddle.getId());
        }
    }
    responseData.put("playerHasWon", playerHasWon);
    if (!playerHasWon) {
        int teamLevel = game.GetTeamLevel(user);
        responseData.put("myLevel", teamLevel);
        responseData.put("riddlesNamesAndLocations", riddlesNameAndLocations);
        responseData.put("riddlesNamesAndIds", riddleNamesAndIds);
        responseData.put("isTreasureLevel", game.IsTreasureLevel(teamLevel - 1));
    }
    responseData.put("treasureType", game.GetTreasureType());
    responseData.put("gameName", game.GetGameName());
    responseData.put("startTime", game.GetStartTime().getTime());
    responseData.put("endTime", game.GetEndTime().getTime());
    out.println(gson.toJson(responseData));
}

[Buggy Hunk]
int teamLevel = game.GetTeamLevel(user);

[Patch]
int teamLevel = game.GetTeamLevelIndex(user);

[Demonstration 2]

[Buggy Method]
public static void managerGuard() {
    if (ThreadManager.isManagerDie()) {
        System.out.println("------------------------>ThreadManager挂掉了，重新启动一个....");
        new Thread(new ThreadManager(), "manager-" + (new Random()).nextInt()).start();
    }
}

[Buggy Hunk]
System.out.println("------------------------>ThreadManager挂掉了，重新启动一个....");

[Patch]
system.out.println("------------------------>ThreadManager挂掉了，重新启动一个....");

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