toolBox.add(toolBar, new BoxLayoutData(BoxLayoutData.FillStyle.HORIZONTAL));
definitionList.add(toolBox, new BoxLayoutData(BoxLayoutData.FillStyle.HORIZONTAL));
definitionList.add(listBox, new BoxLayoutData(BoxLayoutData.FillStyle.BOTH));
pagingPanel = new PagingPanel(
new PagingCallback()
{
public void rev()
{
renderFiltered();