diff -r 945817561b9a -r 40f95fe90cdc javap/src/main/java/sun/tools/javap/Vector.java --- a/javap/src/main/java/sun/tools/javap/Vector.java Sat Nov 10 20:31:39 2012 +0100 +++ b/javap/src/main/java/sun/tools/javap/Vector.java Sun Nov 11 13:23:52 2012 +0100 @@ -22,8 +22,9 @@ addElement(objectType); } void addElement(Object obj) { - setSize(size() + 1); - setElementAt(obj, size()); + final int s = size(); + setSize(s + 1); + setElementAt(obj, s); } int size() {