invoke Javascript destroy for DateBox and DateTimeBox on unload of GWT widget