} else if (e.getKeyCode() == KeyEvent.VK_UP) {
History refNext = model.getHistory().until(ref);
History curNext = model.getHistory().until(cur);
if (refNext.getNumVersions() > 1 && curNext.getNumVersions() > 1) {
model.setReferencePointInTime(refNext.sortDescending().get(1));
model.setCurrentPointInTime(curNext.sortDescending().get(1));
}
}
}
});
getModel().addTableModelListener(new TableModelListener() {