[Demonstration 1]

[Buggy Method]
public static void configure() {
    Settings settings = new Settings(jini);
    Frame configFrame = new Frame("Configuration");
    configFrame.setSize(500, 500);
    Panel panel = new Panel();
    configFrame.add(panel);
    configFrame.addWindowListener(new WindowAdapter() {

        public void windowClosing(WindowEvent windowEvent) {
            System.exit(0);
        }
    });
    Button preset1Btn = new Button();
    preset1Btn.setLabel("Fifth Dimension");
    preset1Btn.addActionListener(new ActionListener() {

        @Override
        public void actionPerformed(ActionEvent arg0) {
            // TODO Auto-generated method stub
            settings.choosePreset(0);
            try {
                settings.iniSave();
            } catch (NumberFormatException | IOException e) {
                System.out.println("Failed to save settings.");
                e.printStackTrace();
            }
        }
    });
    panel.add(preset1Btn);
    Button preset2Btn = new Button();
    preset2Btn.setLabel("Crazy Triangles");
    preset2Btn.addActionListener(new ActionListener() {

        @Override
        public void actionPerformed(ActionEvent arg0) {
            // TODO Auto-generated method stub
            settings.choosePreset(1);
            try {
                settings.iniSave();
            } catch (NumberFormatException | IOException e) {
                System.out.println("Failed to save settings.");
                e.printStackTrace();
            }
        }
    });
    panel.add(preset2Btn);
    Button preset3Btn = new Button();
    preset3Btn.setLabel("Evolution Complete");
    preset3Btn.addActionListener(new ActionListener() {

        @Override
        public void actionPerformed(ActionEvent arg0) {
            // TODO Auto-generated method stub
            settings.choosePreset(2);
            try {
                settings.iniSave();
            } catch (NumberFormatException | IOException e) {
                System.out.println("Failed to save settings.");
                e.printStackTrace();
            }
        }
    });
    panel.add(preset3Btn);
    Button preset4Btn = new Button();
    preset4Btn.setLabel("Ripples");
    preset4Btn.addActionListener(new ActionListener() {

        @Override
        public void actionPerformed(ActionEvent arg0) {
            // TODO Auto-generated method stub
            settings.choosePreset(3);
            try {
                settings.iniSave();
            } catch (NumberFormatException | IOException e) {
                System.out.println("Failed to save settings.");
                e.printStackTrace();
            }
        }
    });
    panel.add(preset4Btn);
    configFrame.setVisible(true);
}

[Buggy Hunk]
Settings settings = new Settings(jini);

[Patch]
Settings settings = new Settings(jini, null);

[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]
@Override
protected TableRow makeNextRow() {
    TableRow row = null;
    try {
        TableRow inRow = null;
        boolean hasFilter = true;
        while (row == null && hasFilter) {
            if (currentFilteredResultSet == null || currentFilteredResultSet.isAfterLast()) {
                hasFilter = nextFilter();
            }
            while (row == null && hasFilter && currentFilteredResultSet.next()) {
                inRow = TableRow.buildTableRow(currentFilteredResultSet);
                if (filter(inRow)) {
                    Map<Column, String> resultMap = new HashMap<>();
                    for (Column col : columns) {
                        String attribute = null;
                        if (col.equals(SOSConnector.SOS_DATE_COL)) {
                            attribute = inRow.getValue(new SimpleColumn(Observation.TIME_ELEMENT));
                        } else if (col.equals(SOSConnector.SOS_MOD_TYPE_COL)) {
                            String procedure = inRow.getValue(new SimpleColumn(ObservationMetadata.PROCEDURE_ELEMENT));
                            attribute = DownloadType.getModTypeFromProcedure(procedure);
                        } else if (col.equals(SOSConnector.SOS_CONSTITUENT_COL)) {
                            attribute = inRow.getValue(new SimpleColumn(ObservationMetadata.OBSERVED_PROPERTY_ELEMENT));
                        } else if (col.equals(SOSConnector.SOS_SITE_COL)) {
                            attribute = inRow.getValue(new SimpleColumn(ObservationMetadata.FEATURE_OF_INTEREST_ELEMENT));
                        } else {
                            attribute = inRow.getValue(new SimpleColumn(Observation.VALUE_ELEMENT));
                        }
                        resultMap.put(col, attribute);
                    }
                    row = new TableRow(columns, resultMap);
                }
            }
        }
    } catch (SQLException ex) {
        log.debug("Problem with resultset", ex);
    }
    return row;
}

[Buggy Hunk]
boolean hasFilter = true;

[Patch]
boolean hasFilter = (null != currentFilter || !filters.isEmpty());