getLibraryFilter().setShowLibraries(show.equals("true"));
if (show != null) getLibraryFilter().setShowLibraries(show.equals("true"));
	void restoreFilters() {		IMemento filtersMem= fMemento.getChild(TAG_FILTERS);		if(filtersMem != null) {				IMemento children[]= filtersMem.getChildren(TAG_FILTER);			String filters[]= new String[children.length];			for (int i = 0; i < children.length; i++) {				filters[i]= children[i].getString(TAG_ELEMENT);			}			getPatternFilter().setPatterns(filters);		} else {			getPatternFilter().setPatterns(new String[0]);		}		//restore library		String show= fMemento.getString(TAG_SHOWLIBRARIES);		getLibraryFilter().setShowLibraries(show.equals("true"));	}