pager = new Pager(messages);
searchField = new SearchField(this);
searchField.setTextBoxTitle(messages.docListFilterDescription());
documentListTable =
new DocumentListTable(userworkspaceContext, messages, resources);
initWidget(uiBinder.createAndBindUi(this));
caseSensitiveCheckBox.setTitle(messages
.docListFilterCaseSensitiveDescription());