Add missing @Override notations in Vector classes