Upgrade our override of the GTK implementation of EV_TREE_IMP to EiffelStudio 7.2.