Bug in DateRenderer

Hello,

I’m using DateRenderer to format dates in a grid cell. It works OK, but in case Date is NULL it throws Exception. I’m forced to workaround it for now, but hope it will be filed and fixed:

dateColumn.setRenderer(new DateRenderer(
DateFormat.getDateInstance(DateFormat.MEDIUM,
UI.getCurrent().getSession().getLocale())) {
public JsonValue encode(Date value) {
if (null == value) {
return null;
}
return super.encode(value);
}
});

Thanks

http://dev.vaadin.com/ticket/16560