1.1 --- a/javap/src/main/java/sun/tools/javap/Vector.java	Sat Nov 10 20:31:39 2012 +0100
     1.2 +++ b/javap/src/main/java/sun/tools/javap/Vector.java	Sun Nov 11 13:23:52 2012 +0100
     1.3 @@ -22,8 +22,9 @@
     1.4          addElement(objectType);
     1.5      }
     1.6      void addElement(Object obj) {
     1.7 -        setSize(size() + 1);
     1.8 -        setElementAt(obj, size());
     1.9 +        final int s = size();
    1.10 +        setSize(s + 1);
    1.11 +        setElementAt(obj, s);
    1.12      }
    1.13  
    1.14      int size() {