fMethodsTree.setCheckedElements(new Object[0]);
fMethodsTree.setCheckedElements((Object[]) fMethodsTree.getInput());
			public void widgetSelected(SelectionEvent e) {				fMethodsTree.setCheckedElements(new Object[0]);				updateSelectedMethodsLabel();			}