public void eventSetChange(EventSetChange changeEvent) {
// Repaint if events change
requestRepaint();
}
});
provider.addListener(new EventChangeListener() {
public void eventChange(EventChange changeEvent) {
// Repaint if event changes
requestRepaint();
}
});