These need to be called in doRelease so that super.finalize() happens