fix of a concurrency bug. replace ArrayList with Vector.