[Demonstration 1]

[Buggy Method]
private static void load() {
    if (prefs.getString("teachers") != null) {
        // If not the first app launch
        teachers = new Json().fromJson(ArrayList.class, prefs.getString("teachers"));
    }
}

[Buggy Hunk]
if (prefs.getString("teachers") != null) { // If not the first app launch

[Patch]
if (!prefs.get().isEmpty()) { // If not the first app launch

[Demonstration 2]

[Buggy Method]
private void handleKeyPress(KeyEvent ke) {
    boolean modifier = false;
    /*Controller.INSTANCE.java_run(() -> {
            System.out.println("thread pool test");
            return Unit.INSTANCE;
        });*/
    String text = ke.getText();
    KeyCode code = ke.getCode();
    if (ke.isControlDown() || ke.isMetaDown()) {
        modifier = true;
    }
    if (modifier && text.equalsIgnoreCase("s")) {
        State.x.getCurrentEditor().save();
        State.x.setIgnoreNextPress(true);
    } else if (!State.x.getIgnoreNextPress()) {
        if (code == KeyCode.BACK_SPACE || code == KeyCode.ENTER || code == KeyCode.DELETE) {
            State.x.getApp().indicateFileModified();
        } else if (code == KeyCode.SPACE) {
            State.x.getCurrentEditor().content.processLastWord();
        } else if (text != null && text.length() > 0) {
            if (!modifier) {
                State.x.getApp().indicateFileModified();
            }
        }
    }
}

[Buggy Hunk]
else if ( code == KeyCode.SPACE) {

[Patch]
else if ( code == KeyCode.SPACE || code == KeyCode.ENTER) {

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