RandomDistribution: Destructor