code: public static void addAll(final Vector dest, final Object[] src) {
      if (src == null) {
        return;
      }
      for (final Object element : src) {
        dest.addElement(element);
      }
    }
docs: Adds the elements of the array to the given vector