Может ли JPF (Java Path Finder) использоваться для веб-приложений.У меня есть веб-приложение (приложение Struts).Теперь, как мне проверить \ проверить это с помощью JPF.Обязательно ли основной метод для запуска jpf и поиска результатов?потому что в сервлете у нас нет основного метода и как мы к этому подходим?