Элегантный способ определить, устарело ли приложение GWT, и автоматически -обновить браузер?

После многих обращений в службу поддержки мы понимаем, что самая большая проблема с нашим приложением на основе GWT -заключается в том, что пользователи оставляют его открытым на несколько недель. Это означает, что когда мы выпускаем исправление каждую неделю или две, заглушки RPC не синхронизируются и вызывают генерацию скрытых исключений, из-за чего сайт выглядит «сломанным». Кто-нибудь знает способ автоматического обнаружения -и предотвращения этой проблемы? Вот несколько идей, которые у меня были...

1. При обнаружении исключения несоответствия RPC обновите браузер.
2. При загрузке главной страницы введите номер версии в систему управления исходным кодом, из которой была получена сборка, используйте средство проверки состояния/таймер, проверяющее, что номер не изменился. Когда перезагружается.
3. Перезагрузка по произвольному таймеру (, возможно, два раза в день ).

Есть идеи?