Обработка тайм-аута сеанса на стороне клиента

Сценарий заключается в том, что пользователь должен получить уведомление (скажем, через обычное предупреждение JS или перенаправление и т. д.), когда срок его сеанса истекает. Это можно сделать несколькими способами:

1. Использование функции тайм-аута javascript, как описано здесь.
2. Использование Server Pushс использованием WebSockets, что, конечно же, потребует поддержки HTML5.

Каковы относительные достоинства/недостатки этих двух подходов? Помимо этого, есть ли другие способы добиться этого(какая-то стандартная библиотека и т.д.). Моя серверная часть — Java EE (Struts+Spring).