Bug 1035823 - [DSDS] The SIM manager page is not refreshed if configuration changes