historyPos = -1;
timerAction = new TimerAction();
timer = new Timer(INITIAL_TIMER_DELAY, timerAction);
timer.setRepeats(false);
}
<BUG>private void addToHistory(String html) {

history.add(++historyPos, html);
</BUG>
clearHistoryAfterCurrentPos();

historyPos = -1;
timerAction = new TimerAction();
timer = new Timer(INITIAL_TIMER_DELAY, timerAction);
timer.setRepeats(false);
}
private void addToHistory(HistoryEntry historyItem) {
history.add(++historyPos, historyItem);
clearHistoryAfterCurrentPos();
