Implement java.io.Serializable and java.util.RandomAccess in Vector