/** @return */ public Paginator getPaginator() { return listController.getPaginator(); }
/** @return */ public EnhancedList getEnhancedList() { return listController.getEnhancedList(); }