WeakList: added interface to perform an additional action as a response to an invalidation of a weak pointer
WeakList: added interface to perform an additional action as a response to an invalidation of a weak pointer

RWTH-i5-IDSG/jamocha,RWTH-i5-IDSG/jamocha