[Demonstration 1]

[Buggy Method]
public static void insertUser(User user) {
    storeUsers.store(user);
}

[Buggy Hunk]
public static void insertUser(User user) {

[Patch]
public static void insertUser(final User user) {

[Demonstration 2]

[Buggy Method]
public ArraySet<ElectricityTicket> findCompetingTickets(ElectricityRequirement req) {
    return handler.findCompetingTickets(req);
}

[Buggy Hunk]
public ArraySet<ElectricityTicket> findCompetingTickets(ElectricityRequirement req)

[Patch]
public synchronized ArraySet<ElectricityTicket> findCompetingTickets(ElectricityRequirement req)

[Demonstration 3]

[Buggy Method]
public SpigotUser authenticate(String username, String password) throws InvalidCredentialsException, TwoFactorAuthenticationException {
    UserManager userManager = api.getUserManager();
    SpigotUser user = (SpigotUser) userManager.authenticate(username, password);
    return user;
}

[Buggy Hunk]
public SpigotUser authenticate(String username, String password) throws InvalidCredentialsException, TwoFactorAuthenticationException {

[Patch]
public SpigotUser authenticate(String username, String password) throws InvalidCredentialsException, TwoFactorAuthenticationException, ConnectionFailedException {