static void copyArrayToVector(O[] array, Vector v) {
  v.clear();
  v.addAll(toList(array));
}