Servlet: Use DefaultWidgetSet