provider.addEvent(event.getDate());
Notification
.show("This should disappear, but if wont unless clicked.");
// this requestRepaint call interferes with the notification
cal.markAsDirty();
}
});
content.addComponent(cal);
java.util.Calendar javaCal = java.util.Calendar.getInstance();