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;
    }
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
Append two vectors returning the result .