As a guess the updater deleted the oldest library or else deleted the
incompatible library. My project linked to the old library and now it
I probably need to link to the newest version for each library.
Changing all the links is not difficult, just time consuming, plus it
must be done for every project.
Since the root name of the library is the same
(org.eclipse.ui.workbench), would it be possible to have a tool which
automatically chooses the highest version number for all the libraries
included in the project?