Alexandre's PWList implementation using sharing should be fully integrated.
According to Paul's todo list from the last Uppaal meeting, Alexandre is the
person in charge for this.
Alexandre pointed out to me, that the PWList implementation itself does not use
sharing - it uses the storage components (which in turn might support sharing).
Added dependency on bug 30.
I am resolving this bug as FIXED: For quite a while we have had new passed and
passed+waiting list implementation based on a new StateSet abstraction. The
default StateSet implementation is based on Alexandre's Storage abstraction,
thus in a sence this bug has been fixed a long time ago.