Please include reproduction steps here!!!!
* 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 star is shown
-> impossible to de-mark as favorite server