The update level determines what information is updated. */
void update_from(const BuildInfo &, UpdateLevel = LOCAL);
+private:
/** Makes sure there are no duplicate entries in the lists. For warnings,
contradicting flags are eliminated and the last one stays in effect. */
void unique();