new PHPExplorerLabelProvider(treeContentProvider, store),
new ProblemsLabelDecorator(null));
fInputGroup = new CheckboxTreeAndListGroup(parent,
DLTKCore.create(ResourcesPlugin.getWorkspace().getRoot()),
treeContentProvider, provider,
new StandardModelElementContentProvider(), provider, SWT.NONE,
SIZING_SELECTION_WIDGET_WIDTH, SIZING_SELECTION_WIDGET_HEIGHT) {
protected void setTreeChecked(final Object element,
final boolean state) {
if (fInitiallySelecting && element instanceof IResource) {