[Demonstration 1]

[Buggy Method]
@Override
public void notificationForServer(Message message) {
    Text textMessage = new Text(message.getNameSender() + "-> " + message.getContent() + "\n");
    textMessage.setFont(new Font(message.getFont()));
    textMessage.setFill(Color.web(message.getColor()));
    if (getChatBox() == null) {
        System.err.println("TextFlow NULL");
    } else {
        Timeline timeline1 = new Timeline();
        timeline1.getKeyFrames().add(new KeyFrame(Duration.millis(1), (ActionEvent actionEvent) -> {
            getChatBox().getChildren().add(textMessage);
        }));
        timeline1.setCycleCount(1);
        SequentialTransition animation = new SequentialTransition();
        animation.getChildren().addAll(timeline1);
        animation.play();
    }
}

[Buggy Hunk]
public void notificationForServer(Message message) {

[Patch]
public void notificationForServer(Message message) throws RemoteException {

[Demonstration 2]

[Buggy Method]
@Override
public void removeDataSourceDescription(double time) {
    Iterator<AbstractProcess> it = dbRoot.descriptionTimeIndex.iterator(KEY_SML_START_ALL_TIME, new Key(time), Index.DESCENT_ORDER);
    if (it.hasNext()) {
        AbstractProcess sml = it.next();
        it.remove();
        db.deallocate(sml);
    }
    if (autoCommit)
        commit();
}

[Buggy Hunk]
public void removeDataSourceDescription(double time)

[Patch]
public synchronized void removeDataSourceDescription(double time)

[Demonstration 3]

[Buggy Method]
public void toggleStartStop(View view) {
    if (mStartStopButton.getText().toString().equals("START")) {
        mStartStopButton.setTextColor(Color.RED);
        mHourView.setTextColor(Color.GREEN);
        mMinuteView.setTextColor(Color.GREEN);
        mSecondView.setTextColor(Color.GREEN);
        mMilliView.setTextColor(Color.GREEN);
        mStartStopButton.setText("STOP ");
        mStartStopButton.setCompoundDrawablesWithIntrinsicBounds(android.R.drawable.ic_media_pause, 0, 0, 0);
        mResetButton.setVisibility(View.GONE);
        if (stopWatch.getTimerMilliseconds() == 0) {
            stopWatch.start();
        } else {
            stopWatch.resume();
        }
    } else {
        mStartStopButton.setText("START");
        mStartStopButton.setTextColor(Color.GREEN);
        mHourView.setTextColor(Color.RED);
        mMinuteView.setTextColor(Color.RED);
        mSecondView.setTextColor(Color.RED);
        mMilliView.setTextColor(Color.RED);
        mStartStopButton.setCompoundDrawablesWithIntrinsicBounds(android.R.drawable.ic_media_play, 0, 0, 0);
        mResetButton.setVisibility(View.VISIBLE);
        stopWatch.stop();
    }
    customCanvas.animation();
}

[Buggy Hunk]
customCanvas.animation();

[Patch]
if (isRound) roundCanvas.animation();