/* */ protected void finalize() /* */ { /* 753 */ if (this.ID != 0L) /* 754 */ CMSManager.getModule().freeProfile(this.ID); /* 755 */ else if (this.profileActivator != null) /* 756 */ ProfileDeferralMgr.unregisterDeferral(this.profileActivator); /* */ }