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());
 }