src/main/java/org/jboss/util/xml/catalog/Resolver.java
private Vector appendVector(Vector vec, Vector appvec) {
	if (appvec != null) {
	    for (int count = 0; count < appvec.size(); count++) {
		vec.addElement(appvec.elementAt(count));
	    }
	}
	return vec;
    }
private Vector appendVector(Vector vec, Vector appvec) {
	if (appvec != null) {
	    for (int count = 0; count < appvec.size(); count++) {
		vec.addElement(appvec.elementAt(count));
	    }
	}
	return vec;
    }
Append two vectors, returning the result.

@param vec The first vector
@param appvec The vector to be appended
@return The vector vec, with appvec's elements appended to it