public void update(Observable observable, Object arg) {
logger.debug(this + ": update request from " + observable);
if (arg instanceof TimeInterval) {
// TimeInterval ti = (TimeInterval) arg;
// logger.info(this + " updating for range " + ti + " due to request from observer: '" +
// observable.getClass().getName() + "'");
graphAreaPanel.repaint();
}
}