operands.copyInto(children);
operands.toArray(children);
		protected void parse_or(FilterImpl parent) throws InvalidSyntaxException {			skipWhiteSpace();			if (filter[pos] != '(') {				throw new InvalidSyntaxException(NLS.bind(Msg.FILTER_MISSING_LEFTPAREN, String.valueOf(pos)), filterstring); 			}			Vector operands = new Vector(10, 10);			while (filter[pos] == '(') {				FilterImpl child = new FilterImpl();				parse_filter(child);				operands.addElement(child);			}			int size = operands.size();			FilterImpl[] children = new FilterImpl[size];			operands.copyInto(children);			parent.setFilter(FilterImpl.OR, null, children);		}