fix a bug in BitVectorVariable.copyState() involving empty vectors
Add reference to java.util.List

Seems reasonable given that we have those for Set/Map/Collection/etc.
Merge commit 'bede9a6bf558302fd88e3a623e86ab4f00473741'