[Demonstration 1]

[Buggy Method]
private String getThrows(MethodDeclaration method) {
    StringBuilder sb = new StringBuilder("(");
    for (int i = 0; i < method.thrownExceptionTypes().size(); i++) {
        sb.append(method.thrownExceptionTypes().get(i).toString() + (i != method.thrownExceptionTypes().size() - 1 ? ", " : ""));
    }
    return sb.toString();
}

[Buggy Hunk]
StringBuilder sb = new StringBuilder("(");

[Patch]
StringBuilder sb = new StringBuilder();

[Demonstration 2]

[Buggy Method]
public static String lexFile(String name) throws Exception {
    final MiniJavaLexerLexer lexer = new MiniJavaLexerLexer(new ANTLRFileStream(name));
    final MiniJavaLexerParser parser = new MiniJavaLexerParser(new CommonTokenStream(lexer));
    final StringBuilder sb = new StringBuilder();
    parser.addParseListener(new MiniJavaLexerBaseListener() {

        public void visitTerminal(TerminalNode node) {
            sb.append(parser.getVocabulary().getSymbolicName(node.getSymbol().getType()));
            sb.append(", ");
            sb.append(node);
            sb.append("\n");
        }
    });
    parser.lex_program();
    return sb.toString();
}

[Buggy Hunk]
sb.append("\n");

[Patch]
sb.append(System.getProperty("line.separator"));

[Demonstration 3]

[Buggy Method]
@Override
public String toString() {
    StringBuilder builder = new StringBuilder();
    builder.append("Lattice\n");
    if (!propertiesUp.isEmpty()) {
        builder.append("├── Upwards-predictive properties\n");
        toString(builder, propertiesUp);
    }
    if (!propertiesDown.isEmpty()) {
        builder.append("├── Downwards-predictive properties\n");
        toString(builder, propertiesUp);
    }
    if (!propertiesNone.isEmpty()) {
        builder.append("├── Non-predictive properties\n");
        toStringNone(builder, propertiesNone);
    }
    builder.append("├── Master\n");
    builder.append(master.toString("|   └── ", "|       "));
    builder.append("└── Memory: ").append(getByteSize()).append(" [bytes]\n");
    return builder.toString();
}

[Buggy Hunk]
toString(builder, propertiesUp);

[Patch]
toString(builder, propertiesDown);