public void contentsChanged(ListDataEvent e) {
log.append("contentsChanged: " + e.getIndex0() + ", " + e.getIndex1() + newline);
log.setCaretPosition(log.getDocument().getLength());
}
public void intervalRemoved(ListDataEvent e) {
log.append("intervalRemoved: " + e.getIndex0() + ", " + e.getIndex1() + newline);
log.setCaretPosition(log.getDocument().getLength());
}
public void intervalRemoved(ListDataEvent e) {
fireIntervalRemoved(this, e.getIndex0(), e.getIndex1());
}