	 * @return {@code true} if new {@code prefs} differ from the old ones, i.e. preferences changed
	 * @return {@code true} if new {@code prefs} differ from the old ones, i.e. preferences changed | ICProjectDescriptionManager.java