[Demonstration 1]

[Buggy Method]
@Override
public final void actionPerformed(final ActionEvent event, final EditorFrame editor) {
    final DefaultMutableTreeNode selected = (DefaultMutableTreeNode) editor.getCurrentTreeComponent().getSelectionPaths()[0].getLastPathComponent();
    final DefaultMutableTreeNode parent = (DefaultMutableTreeNode) selected.getParent();
    if (AlgorithmTree.up(parent, parent.getIndex(selected))) {
        editor.algorithmChanged(true, true, parent, new TreePath(selected.getPath()));
    }
}

[Buggy Hunk]
editor.algorithmChanged(true, true, parent, new TreePath(selected.getPath()));

[Patch]
editor.algorithmChanged(true, true, true, parent, new TreePath(selected.getPath()));

[Demonstration 2]

[Buggy Method]
public Integer getPermission(Integer func) {
    Integer n = this.permissions.get(func);
    if (n == null)
        return MAX_LEVEL;
    return n;
}

[Buggy Hunk]
Integer n = this.permissions.get(func);

[Patch]
Integer n = this.permissions.get(new Long(func));

[Demonstration 3]

[Buggy Method]
private void createButtons() {
    saveButton = createButton(coreLocale.save(), "window-edit-debug-configurations-save", new ClickHandler() {

        @Override
        public void onClick(ClickEvent event) {
            delegate.onSaveClicked();
        }
    });
    saveButton.addStyleName(this.resources.windowCss().primaryButton());
    overFooter.add(saveButton);
    cancelButton = createButton(coreLocale.cancel(), "window-edit-debug-configurations-cancel", new ClickHandler() {

        @Override
        public void onClick(ClickEvent event) {
            delegate.onCancelClicked();
        }
    });
    overFooter.add(cancelButton);
    closeButton = createButton(coreLocale.close(), "window-edit-debug-configurations-close", new ClickHandler() {

        @Override
        public void onClick(ClickEvent event) {
            delegate.onCloseClicked();
        }
    });
    closeButton.addDomHandler(new BlurHandler() {

        @Override
        public void onBlur(BlurEvent blurEvent) {
            //set default focus
            selectText(filterInputField.getElement());
        }
    }, BlurEvent.getType());
    addButtonToFooter(closeButton);
    Element dummyFocusElement = DOM.createSpan();
    dummyFocusElement.setTabIndex(0);
    getFooter().getElement().appendChild(dummyFocusElement);
}

[Buggy Hunk]
saveButton.addStyleName(this.resources.windowCss().primaryButton());

[Patch]
saveButton.addStyleName(Window.resources.windowCss().primaryButton());