tree ce8a2936c4d3bee31946d1b22f12268a4c86023b
parent 75006f0851fc512d22d5dbeed59f1daaeeb207f2
author margaretha <margaretha@ids-mannheim.de> 1647503139 +0100
committer Akron <nils@diewald-online.de> 1648623717 +0200

Fixed ConcurrentModificationException occurred as storing and cleaning
up VC happening at the same time.

Change-Id: If667cb5b6a4b948ede4f37f4bd8b02c1a3f19e73