[Demonstration 1]

[Buggy Method]
private ProgressValue GetAverageSummary(TreeMap<String, TreeMap<Integer, Double>> TotalProgress) {
    double total = 0;
    int count = 0;
    Iterator<String> pluginIt = TotalProgress.keySet().iterator();
    Iterator<Integer> summaryIt;
    TreeMap<Integer, Double> pluginTemp;
    while (pluginIt.hasNext()) {
        pluginTemp = TotalProgress.get(pluginIt.next());
        summaryIt = pluginTemp.keySet().iterator();
        while (summaryIt.hasNext()) {
            total += pluginTemp.get(summaryIt.next());
            count++;
        }
    }
    return new ProgressValue(count, total);
}

[Buggy Hunk]
return new ProgressValue(count, total);

[Patch]
return new ProgressValue((int)total, total);

[Demonstration 2]

[Buggy Method]
public float getExperienceAverage() {
    float experiencedPlayers = getExperiencedPlayersCount();
    return experiencedPlayers / mPlayers.size() * 100;
}

[Buggy Hunk]
return experiencedPlayers / mPlayers.size() * 100;

[Patch]
return Math.round(experiencedPlayers / mPlayers.size() * 100);

[Demonstration 3]

[Buggy Method]
public Integer getIndexModel(String name) throws SQLException, NamingException {
    Connection connection = null;
    PreparedStatement statement = null;
    try {
        connection = DatabaseUtils.getConnection();
        statement = connection.prepareStatement("SELECT id_model_car FROM MODEL_CAR WHERE name = ?");
        statement.setString(1, name);
        ResultSet resultSet = statement.executeQuery();
        if (resultSet.next()) {
            return resultSet.getInt("id_model_car");
        }
        statement = connection.prepareStatement("INSERT INTO MODEL_CAR (name) VALUES (?)");
        statement.setString(1, name);
        statement.executeUpdate();
        DatabaseUtils.commit();
        statement = connection.prepareStatement("SELECT id_model_car FROM MODEL_CAR WHERE name = ?");
        statement.setString(1, name);
        resultSet = statement.executeQuery();
        if (resultSet.next()) {
            return resultSet.getInt("id_model_car");
        }
    } finally {
        DatabaseUtils.closeStatement(statement);
        DatabaseUtils.closeConnection(connection);
    }
    return 0;
}

[Buggy Hunk]
public Integer getIndexModel(String name) throws SQLException, NamingException {

[Patch]
private Integer getIndexModel(String name) throws SQLException, NamingException {