Is this a bug in Realband ?

When adding favorite styles in the stylepicker by pressing the "Add Favorite" button, all those added favorite styles are lost when the Realband application is restarted. The added favorite styles are not written in the "StyleFavorites.txt" file. Why is that?

Interestingly in BIAB the add favorite style features works just fine and the styles are added to the "StyleFavorite.txt" file. Why does Realband not save the added favorite styles?

I use the latest Realband version 2011 (Build 4).