[Demonstration 1]

[Buggy Method]
public List<Token> tokenize() {
    ArrayList<Token> tokens = new ArrayList<>();
    _chars = _string.toCharArray();
    _offset = 0;
    _line = 1;
    _column = 0;
    while (moreChars()) {
        // eat leading whitespace
        eatWhiteSpace();
        // if we got to the end of the string, exit
        if (!moreChars())
            break;
        Token string = consumeString();
        if (string != null) {
            tokens.add(string);
            continue;
        }
        Token number = consumeNumber();
        if (number != null) {
            tokens.add(number);
            continue;
        }
        Token punctuation = consumePunctuation();
        if (punctuation != null) {
            tokens.add(punctuation);
            continue;
        }
        Token constant = consumeConstant();
        if (constant != null) {
            tokens.add(constant);
            continue;
        }
        // unrecognized token, add error token
        tokens.add(newToken(ERROR, ">> BAD TOKEN : " + currentChar()));
        bumpOffset(1);
    }
    return tokens;
}

[Buggy Hunk]
ArrayList<Token> tokens = new ArrayList<>();

[Patch]
ArrayList<Token> tokens = new ArrayList<Token>();

[Demonstration 2]

[Buggy Method]
private void addMarkers(final Markt markt) {
    final OverlayItem overlayItem = new OverlayItem(markt.getName(), markt.getOrt(), new GeoPoint(markt.getLongi(), markt.getLati()));
    overlayItem.setMarker(getResources().getDrawable(R.drawable.marker));
    ItemizedOverlayWithFocus<OverlayItem> itemList = new ItemizedOverlayWithFocus<OverlayItem>(Arrays.asList(overlayItem), new ItemizedIconOverlay.OnItemGestureListener<OverlayItem>() {

        @Override
        public boolean onItemSingleTapUp(int index, OverlayItem item) {
            if (switchCase == 1) {
                Markt markt1 = al.get(index);
                Toast.makeText(context, "Markt: " + markt1.getName(), Toast.LENGTH_LONG).show();
            } else if (switchCase == 2) {
                Toast.makeText(context, "Markt: " + markt.getName(), Toast.LENGTH_LONG).show();
            }
            return false;
        }

        @Override
        public boolean onItemLongPress(int index, OverlayItem item) {
            return false;
        }
    }, new DefaultResourceProxyImpl(this.getApplicationContext()));
    itemList.setFocusItemsOnTap(true);
    mapView.getOverlays().add(itemList);
}

[Buggy Hunk]
overlayItem.setMarker(getResources().getDrawable(R.drawable.marker));

[Patch]
overlayItem.setMarker(getResources().getDrawable(R.drawable.markerklein));

[Demonstration 3]

[Buggy Method]
@Override
public List<Maybe<IItem>> dropItems() {
    List<Maybe<IItem>> droppedItems = items;
    items = new ArrayList<>();
    return droppedItems;
}

[Buggy Hunk]
items = new ArrayList<>();

[Patch]
items = new ArrayList<>(items.size());