diff -r 000000000000 -r 32653a09f0db javap/src/main/java/sun/tools/javap/Vector.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/javap/src/main/java/sun/tools/javap/Vector.java	Sat Nov 10 19:01:28 2012 +0100
@@ -0,0 +1,45 @@
+/*
+ * To change this template, choose Tools | Templates
+ * and open the template in the editor.
+ */
+package sun.tools.javap;
+
+/** A JavaScript ready replacement for java.util.Vector
+ *
+ * @author Jaroslav Tulach <jtulach@netbeans.org>
+ */
+final class Vector {
+    Vector() {
+    }
+
+    Vector(int i) {
+        throw new UnsupportedOperationException("Not supported yet."); //To change body of generated methods, choose Tools | Templates.
+    }
+
+    void add(Object objectType) {
+        throw new UnsupportedOperationException("Not supported yet."); //To change body of generated methods, choose Tools | Templates.
+    }
+    void addElement(Object obj) {
+        throw new UnsupportedOperationException("Not supported yet."); //To change body of generated methods, choose Tools | Templates.
+    }
+
+    int size() {
+        throw new UnsupportedOperationException("Not supported yet."); //To change body of generated methods, choose Tools | Templates.
+    }
+
+    void copyInto(String[] accflags) {
+        throw new UnsupportedOperationException("Not supported yet."); //To change body of generated methods, choose Tools | Templates.
+    }
+
+    Object elementAt(int index) {
+        throw new UnsupportedOperationException("Not supported yet.");
+    }
+
+    void setSize(int i) {
+        throw new UnsupportedOperationException("Not supported yet."); //To change body of generated methods, choose Tools | Templates.
+    }
+
+    void setElementAt(String id, int token) {
+        throw new UnsupportedOperationException("Not supported yet."); //To change body of generated methods, choose Tools | Templates.
+    }
+}