public static void moveElementToHead(Vector someVector, int index) {
		
		// size is useful
		int size = someVector.size();
		
		// validate parameters
		// also leave if element is already at the head
		if ((someVector == null) || (index <= 0) || (index >= size)) {
			return ;
		} // end if
		
		// grab the element to be moved
		Object theNewHead = someVector.get(index) ;
		
		// move everyone further headward one spot tailward
		for (int position = index - 1; position >= 0; position --) {
			someVector.set(position + 1, someVector.get(position)) ;
		} // end for
		
		// set the movee headmost
		someVector.set(0, theNewHead) ;
		
		// done
		return ;
		
	} // end method moveElementToTop