Bug 305231: DecoratorManager does not dispose decorators