[Demonstration 1]

[Buggy Method]
private void showGameOverDialog(final int messageId) {
    final DialogFragment gameResult = new DialogFragment() {

        @Override
        public Dialog onCreateDialog(Bundle bundle) {
            AlertDialog.Builder builder = new AlertDialog.Builder(getActivity());
            builder.setTitle(getResources().getString(messageId));
            builder.setMessage(getResources().getString(R.string.moves_made, moves));
            builder.setPositiveButton(R.string.reset_game, new DialogInterface.OnClickListener() {

                @Override
                public void onClick(DialogInterface dialog, int which) {
                    dialogIsDisplayed = false;
                    newGame();
                }
            });
            return builder.create();
        }
    };
    activity.runOnUiThread(new Runnable() {

        public void run() {
            dialogIsDisplayed = true;
            gameResult.setCancelable(false);
            gameResult.show(activity.getFragmentManager(), "results");
        }
    });
}

[Buggy Hunk]
builder.setMessage(getResources().getString(R.string.moves_made, moves));

[Patch]
builder.setMessage(getResources().getString(R.string.survival));

[Demonstration 2]

[Buggy Method]
private ToolTipAction createFileMenu(JMenuBar menuBar, JToolBar toolBar, boolean allowAll) {
    ToolTipAction newFile = new ToolTipAction(Lang.get("menu_new"), ICON_NEW) {

        @Override
        public void actionPerformed(ActionEvent e) {
            if (ClosingWindowListener.checkForSave(Main.this, Main.this)) {
                circuitComponent.setCircuit(new Circuit());
                setFilename(null, true);
                windowPosManager.closeAll();
                try {
                    library.setRootFilePath(null);
                } catch (IOException e1) {
                    // can not happen, no folder is scanned
                }
            }
        }
    }.setToolTip(Lang.get("menu_new_tt")).setActive(allowAll);
    ToolTipAction newSubFile = new ToolTipAction(Lang.get("menu_newSub"), ICON_NEW_SUB) {

        @Override
        public void actionPerformed(ActionEvent e) {
            new MainBuilder().setParent(Main.this).setLibrary(library).setCircuit(new Circuit()).setBaseFileName(getBaseFileName()).keepPrefMainFile().build().setVisible(true);
        }
    }.setToolTip(Lang.get("menu_newSub_tt"));
    ToolTipAction open = new ToolTipAction(Lang.get("menu_open"), ICON_OPEN) {

        @Override
        public void actionPerformed(ActionEvent e) {
            if (ClosingWindowListener.checkForSave(Main.this, Main.this)) {
                JFileChooser fc = getJFileChooser(baseFilename);
                if (fc.showOpenDialog(Main.this) == JFileChooser.APPROVE_OPTION) {
                    loadFile(fc.getSelectedFile(), true, true);
                }
            }
        }
    }.setActive(allowAll);
    ToolTipAction openWin = new ToolTipAction(Lang.get("menu_openWin"), ICON_OPEN_WIN) {

        @Override
        public void actionPerformed(ActionEvent e) {
            JFileChooser fc = getJFileChooser(baseFilename);
            if (fc.showOpenDialog(Main.this) == JFileChooser.APPROVE_OPTION) {
                new MainBuilder().setParent(Main.this).setFileToOpen(fc.getSelectedFile()).build().setVisible(true);
            }
        }
    }.setToolTip(Lang.get("menu_openWin_tt")).setActive(allowAll);
    JMenu openRecent = new JMenu(Lang.get("menu_openRecent"));
    fileHistory.setMenu(openRecent);
    openRecent.setEnabled(allowAll);
    ToolTipAction saveAs = new ToolTipAction(Lang.get("menu_saveAs"), ICON_SAVE_AS) {

        @Override
        public void actionPerformed(ActionEvent e) {
            JFileChooser fc = getJFileChooser(baseFilename);
            final SaveAsHelper saveAsHelper = new SaveAsHelper(Main.this, fc, "dig");
            saveAsHelper.checkOverwrite(file -> {
                if (library.isFileAccessible(file))
                    saveFile(file, !keepPrefMainFile);
                else {
                    Object[] options = { Lang.get("btn_saveAnyway"), Lang.get("btn_newName"), Lang.get("cancel") };
                    int res = JOptionPane.showOptionDialog(Main.this, Lang.get("msg_fileNotAccessible"), Lang.get("msg_warning"), JOptionPane.DEFAULT_OPTION, JOptionPane.WARNING_MESSAGE, null, options, options[0]);
                    switch(res) {
                        case 0:
                            saveFile(file, true);
                            break;
                        case 1:
                            saveAsHelper.retryFileSelect();
                    }
                }
            });
        }
    }.setActive(allowAll);
    ToolTipAction save = new ToolTipAction(Lang.get("menu_save"), ICON_SAVE) {

        @Override
        public void actionPerformed(ActionEvent e) {
            if (filename == null)
                saveAs.actionPerformed(e);
            else
                saveFile(filename, false);
        }
    }.setAcceleratorCTRLplus('S');
    JMenu export = new JMenu(Lang.get("menu_export"));
    export.add(new ExportAction(Lang.get("menu_exportSVG"), "svg", GraphicSVGIndex::new));
    export.add(new ExportAction(Lang.get("menu_exportSVGLaTex"), "svg", GraphicSVGLaTeX::new));
    export.add(new ExportAction(Lang.get("menu_exportPNGSmall"), "png", (out, min, max) -> GraphicsImage.create(out, min, max, "PNG", 1)));
    export.add(new ExportAction(Lang.get("menu_exportPNGLarge"), "png", (out, min, max) -> GraphicsImage.create(out, min, max, "PNG", 2)));
    if (enableExperimental())
        export.add(new ExportGifAction(Lang.get("menu_exportAnimatedGIF")));
    JMenu file = new JMenu(Lang.get("menu_file"));
    menuBar.add(file);
    file.add(newFile.createJMenuItem());
    file.add(newSubFile.createJMenuItem());
    file.add(openRecent);
    file.add(open.createJMenuItem());
    file.add(openWin.createJMenuItem());
    file.add(save.createJMenuItem());
    file.add(saveAs.createJMenuItem());
    file.add(export);
    toolBar.add(newFile.createJButtonNoText());
    toolBar.add(open.createJButtonNoText());
    toolBar.add(save.createJButtonNoText());
    return save;
}

[Buggy Hunk]
}.setAcceleratorCTRLplus('S');

[Patch]
}.setAcceleratorCTRLplus('S').setActive(false);

[Demonstration 3]

[Buggy Method]
private Label createRepoTitle(String name) {
    Label repoName = new Label(name);
    repoName.setPadding(new Insets(0, 5, 5, 0));
    repoName.setMaxWidth(ELEMENT_MAX_WIDTH - 10);
    repoName.setStyle("-fx-font-size: 110%; -fx-font-weight: bold; ");
    return repoName;
}

[Buggy Hunk]
Label repoName = new Label(name);

[Patch]
Label repoName = new Label(name + ": ");