[Demonstration 1]

[Buggy Method]
public Topic createTopic(String topicName) {
    Topic newTopic;
    try {
        newTopic = this.pubsub.projects().topics().create(topicName, new Topic()).execute();
    } catch (IOException e) {
        // TODO Auto-generated catch block
        e.printStackTrace();
        return null;
    }
    System.out.println("Created: " + newTopic.getName());
    return newTopic;
}

[Buggy Hunk]
System.out.println("Created: " + newTopic.getName());

[Patch]
getLogger().info("Created topic " + newTopic.getName());

[Demonstration 2]

[Buggy Method]
public static void main(final String[] args) throws Exception {
    final URL inputFile = Test2.class.getResource("allCountries.txt");
    BloomIndexHamming idx;
    int maxDensity = 9;
    int[][] reportData = new int[maxDensity][NormalBloomFilterFactory.WIDTH + 1];
    for (int i = 0; i < maxDensity; i++) {
        idx = createFilters(i + 1, inputFile);
        BloomIndexHamming.HammingStats stats = idx.getStats();
        for (int j = stats.getMinimumHamming(); j < stats.getMinimumHamming(); j++) {
            BloomIndexHamming.Block block = stats.getBlock(j);
            if (block != null) {
                reportData[i][j] = block.getLength();
            }
        }
    }
    doReport(maxDensity, reportData);
}

[Buggy Hunk]
for (int j=stats.getMinimumHamming();j<stats.getMinimumHamming();j++)

[Patch]
for (int j=stats.getMinimumHamming();j<stats.getMaximumHamming();j++)

[Demonstration 3]

[Buggy Method]
public String fullName(UUID player) {
    if (player == null) {
        throw new NullPointerException("player cannot be null!");
    }
    String nickName = Utils.getNameForce(player);
    if (plugin != null) {
        Player p = Bukkit.getPlayer(player);
        if (p == null || !plugin.getPermissionsHandler().getPrefix(p).isEmpty()) {
            if (plugin.getUser(player) != null) {
                return plugin.getPermissionsHandler().getPrefix(p) + plugin.getUser(player).getNick(true);
            }
        } else {
            String nick = plugin.getUser(player).getNick(true);
            if (nick != null) {
                nickName = nick;
            }
        }
    }
    return Utils.getPrefix(nickName) + nickName;
}

[Buggy Hunk]
if (p == null || !plugin.getPermissionsHandler().getPrefix(p).isEmpty()) {

[Patch]
if (p != null && !plugin.getPermissionsHandler().getPrefix(p).isEmpty()) {