Do we really need fully synchronized and threadsafe use of Vector's instead of a normal ArrayList here ?