[Demonstration 1]

[Buggy Method]
public String toString() {
    if (zone.size() == 0) {
        return "Empty District";
    }
    String temp = "" + getRep() + " District: size " + disPop + " ";
    temp = temp + String.format("(%d, %d) ", (int) zone.get(0).getX(), (int) zone.get(0).getY());
    temp = temp + String.format("%.3f blue, %.3f red", getBlueRep(), getRedRep());
    return temp;
}

[Buggy Hunk]
String temp = "" + getRep() + " District: size " + disPop + " ";

[Patch]
String temp = "" + getRep() + String.format("District: size %.3f ", disPop);

[Demonstration 2]

[Buggy Method]
@EventHandler(priority = EventPriority.HIGH)
public void marketStart(PlayerInteractEvent event) {
    //get the player and the PlayerInfo
    Player player = event.getPlayer();
    PlayerInfo playerInfo = GUIM.getPlayerInfo(player.getUniqueId());
    //check if the player clicked a block
    if (event.getClickedBlock() == null) {
        return;
    }
    // create first time data if needed
    if (playerInfo == null) {
        GUIM.addPlayerInfo(player.getUniqueId());
        playerInfo = GUIM.getPlayerInfo(player.getUniqueId());
    }
    //check if the player clicked on an access block
    Market market = GUIM.marketLocations.get(event.getClickedBlock().getLocation());
    if (market == null) {
        return;
    }
    //add a player count if there doesn't exist one
    if (market.getNumSales(player.getUniqueId()) == -1) {
        market.addPlayer(player.getUniqueId());
    }
    //if there is no economy, dont try anything
    if (GUIM.economy == null) {
        if (!GUIM.setupEconomy()) {
            event.getPlayer().sendMessage("Error. No economy plugin found. Cannot use markets.");
            return;
        }
    }
    //set the playerInfo correctly
    playerInfo.currentMarket = market.getFullName();
    playerInfo.menu = "main";
    // paint the main menu
    MenuPainter.paintMenu(player);
    //open the inventory for the player
    player.openInventory(playerInfo.inventory);
    //notify the player of which market he or she is in
    player.sendMessage("Market: " + market.getFullName());
    player.sendMessage("Main Menu");
}

[Buggy Hunk]
player.sendMessage("Market: " + market.getFullName());

[Patch]
player.sendMessage("Market: " + market.getReadableName());

[Demonstration 3]

[Buggy Method]
@Override
protected void hurt(GameObject other) {
    if (!other.isDead() && other instanceof Mazub && !((Mazub) other).isImmune() && !((Mazub) other).standsOn(this)) {
        ((Mazub) other).getImmuneTimer().reset();
        other.subtractHp(50);
        if (other.isDead())
            other.getHpTimer().reset();
    } else if (!(other instanceof Shark))
        other.getHurtBy(this);
}

[Buggy Hunk]
else if(!(other instanceof Shark))

[Patch]
else if(!(other instanceof Shark) || !other.isDead())