[Demonstration 1]

[Buggy Method]
public synchronized void broadcastCurrentData(DataCurrentWrapper currentData) throws JsonProcessingException, IOException {
    String jsonInString = mapper.writeValueAsString(currentData);
    for (WebSocketSession s : sessions) {
        if (s.isOpen()) {
            // send the current data to all the connected clients
            s.sendMessage(new TextMessage(jsonInString.getBytes(StandardCharsets.UTF_8)));
        }
    }
}

[Buggy Hunk]
public synchronized void broadcastCurrentData(DataCurrentWrapper currentData) throws JsonProcessingException, IOException {

[Patch]
public void broadcastCurrentData(DataCurrentWrapper currentData) throws IOException {

[Demonstration 2]

[Buggy Method]
public void printUpdate(Date d) {
    System.out.println("");
    System.out.println(sm.format(d));
    printHoldings();
    System.out.println("Portfolio Value " + round(portfolioValue));
}

[Buggy Hunk]
System.out.println(sm.format(d));

[Patch]
System.out.println(sm.format(convertToTrading(d)));

[Demonstration 3]

[Buggy Method]
public static String formatEpochToString(long date) {
    Date d = new Date(date);
    DateFormat df = new SimpleDateFormat("dd/MM/yyyy");
    return df.format(d);
}

[Buggy Hunk]
Date d = new Date(date);

[Patch]
Date d = new Date(date*1000);