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