cIntGen: Added a virtual destructor.