@@ -327,11 +327,11 @@ } } } - private final void swap(final Vector<Object> a, final int i, final int j) { + private void swap(final Vector<Object> a, final int i, final int j) { final Object T = a.elementAt(i); a.setElementAt(a.elementAt(j), i); a.setElementAt(T, j); }