* mark a server with the same sw version as a favorite one by clicking on the star on the left side of the server list
* wait that BI update AR and the server does no update
* try to de-mark the server as favorite while the red triangle with the sw version is shown on the place where normally the grey/yellow star is shown
-> impossible to de-mark as favorite server