Fixes for load_pickle().
The ds.__reset__() call has been removed because of redundancy and the new ds.is_empty() has been blacklisted.
Authored by: bugman 2009-09-11
Parent: [r9513]
Child: [r9515]
