[Demonstration 1]

[Buggy Method]
private void IntegrateW3cTestInDB(Collection<Test> testList, Collection<ProcessResult> netResultList, WebResource webResource) {
    Collection<Test> testedTestList = new ArrayList();
    for (ProcessResult pr : netResultList) {
        testedTestList.add(pr.getTest());
    }
    for (Test test : testList) {
        // if the test has no ProcessResult and its theme is part of the user
        // selection, a NOT_TESTED result ProcessRemark is created
        if (!testedTestList.contains(test)) {
            TestSolution testSolution;
            if (test.getLabel().equals("8.2.1")) {
                if (numberW3cErrors > 0) {
                    testSolution = TestSolution.FAILED;
                } else {
                    testSolution = TestSolution.PASSED;
                }
            } else {
                testSolution = TestSolution.NOT_TESTED;
            }
            ProcessResult pr = processResultDataService.getDefiniteResult(test, testSolution);
            if (testSolution != TestSolution.NOT_TESTED) {
                pr.setNetResultAudit(audit);
                pr.setElementCounter(numberW3cErrors);
                pr.setSubject(webResource);
                pr.setGrossResultAudit(audit);
                processResultDataService.saveOrUpdate(pr);
                for (int i = 0; i < numberW3cErrors; i++) {
                    org.json.simple.JSONObject jsonRespenseObject = (org.json.simple.JSONObject) W3cMessage.get(i);
                    Object snippetObject = jsonRespenseObject.get("extract");
                    Object targetObject = jsonRespenseObject.get("message");
                    if (snippetObject != null && targetObject != null) {
                        SourceCodeRemark processRemark = processRemarkDataService.getSourceCodeRemark(testSolution, "W3cError");
                        processRemark.setProcessResult(pr);
                        //processRemark.setLineNumber(Integer.valueOf(jsonRespenseObject.get("lastLine").toString()));
                        String snippet = StringEscapeUtils.escapeHtml4(snippetObject.toString());
                        processRemark.setSnippet(snippet);
                        processRemark.setTarget(targetObject.toString());
                        processRemarkDataService.saveOrUpdate(processRemark);
                    }
                }
            }
        }
    }
}

[Buggy Hunk]
processRemark.setTarget(targetObject.toString());

[Patch]
processRemark.setTarget(targetObject.toString().replace( "“","\"").replace("”", "\""));

[Demonstration 2]

[Buggy Method]
private Separator createSeparator(String label) {
    //TODO Dehardcode stuff!
    Separator separator = new Separator(getBaseContext(), null);
    separator.setLabel(label);
    LinearLayout.LayoutParams param = new LinearLayout.LayoutParams(ViewGroup.LayoutParams.MATCH_PARENT, (int) (getResources().getDimension(R.dimen.separator_height)));
    separator.setLayoutParams(param);
    separator.setPadding((int) (getResources().getDimension(R.dimen.activity_vertical_margin)), (int) (getResources().getDimension(R.dimen.separator_padding_top)), (int) (getResources().getDimension(R.dimen.activity_vertical_margin)), (int) (getResources().getDimension(R.dimen.separator_padding_bottom)));
    separator.setLabelPaddingBottom((int) (getResources().getDimension(R.dimen.separator_padding_bottom)));
    return separator;
}

[Buggy Hunk]
separator.setLabelPaddingBottom((int) (getResources().getDimension(R.dimen.separator_padding_bottom)));

[Patch]
separator.setLabelPaddingBottom((int) (getResources().getDimension(R.dimen.separator_label_padding_bottom)));

[Demonstration 3]

[Buggy Method]
private FunctionSymbol getFunctionSymbol(String funcIdent) {
    if (!functions.containsKey(funcIdent)) {
        return null;
    }
    return functions.get(funcIdent);
}

[Buggy Hunk]
if(!functions.containsKey(funcIdent)) {

[Patch]
if(!functions.hasIdent(funcIdent)) {