ArrayList res= new ArrayList(nChildren - filteredKeys.length);
ArrayList res= new ArrayList(nChildren);
	private Object[] getFilteredChildren(String[] filteredKeys) {		int nChildren= fChildren.size();		ArrayList res= new ArrayList(nChildren - filteredKeys.length);				for (int i= 0; i < nChildren; i++) {			Object curr= fChildren.get(i);			if (!isFiltered(curr, filteredKeys)) {				res.add(curr);			}		}		return res.toArray();	}