public static void printVector(java.util.Vector vec) {
    java.util.Iterator iter = vec.iterator(); 
    while (iter.hasNext()) {
      System.out.println(iter.next());
    }
  }