newPage.setSelection(selection);
newPage.setSelection(selection, false);
	private void tabChanged(Widget widget) {		if (widget instanceof TabItem) {			TabItem tabItem= (TabItem) widget;			BuildPathBasePage newPage= (BuildPathBasePage) tabItem.getData();			if (fCurrPage != null) {				List selection= fCurrPage.getSelection();				if (!selection.isEmpty()) {					newPage.setSelection(selection);				}			}			fCurrPage= newPage;			fPageIndex= tabItem.getParent().getSelectionIndex();		}	}