Есть ли способ для java-сервлета/jsp для определения тайм-аута сеанса веб-сервера (в секундах, минутах и т.д.)? Я пробовал искать в HttpSession и системном API, но не видел никакого свойства для определения тайм-аута сеанса веб-сервера. Я знаю, что это значение задано в web.xml, но я разрабатываю java-библиотеку, которая должна определять это через код.
Примечание. Я разрабатываю для общего веб-сервера и не могу полагаться на специальные расширения для поставщиков.