How to overload the update() of existings widgets?

My colleague ran into a similar issue a while back. He never did manage to track down the WordPress bug but doing unregister_widget( 'Widget_Class_Being_Extended' ) did the trick.