}
});
filter.setMessage(ExecutionDataEditorExecutedClassesPageFilter_message);
filter.setLayoutData(new GridData(SWT.FILL, 0, true, false));
final Table dataTable = toolkit.createTable(body, SWT.VIRTUAL
| SWT.FULL_SELECTION | SWT.V_SCROLL | SWT.BORDER);
dataTable.setHeaderVisible(true);
dataTable.setLinesVisible(true);
dataTable.setLayoutData(new GridData(SWT.FILL, SWT.FILL, true, true));