JavaServer Pages и Servlets
 

Здравствуйте.
Есть вопрос по JavaServer Pages и Servlets.
Я изучаю готовый проект.
В проекте есть множество ываыва файлов. Смотрю файл web.xml и там маппинг происходит следующим образом:
...
<servlet>
<servlet-name>ru.non.pv.ui.struts.pages.loginForm_jsp</servlet-name>
<servlet-class>ru.non.pv.ui.struts.pages.loginForm_jsp</servlet-class>
</servlet>
...
<servlet-mapping>
<servlet-name>ru.non.pv.ui.struts.pages.loginForm_jsp</servlet-name>
<url-pattern>/loginForm.jsp</url-pattern>
</servlet-mapping>
...
Каким образом это происходит, от куда берется файл loginForm_jspесли в исходом коде есть только loginForm.jsp.
Спасибо.

Ну, подскажите, пожалуйста. Очень нужна помощь.
Объясню ситуацию конкретней.
Есть сервер JBoss 4.0.0, на нем есть war проект. И в проекте нету ни одного jsp файла, а есть только файлы вида name_jsp.class которые находятся в папке classes. А в исходном коде есть только jsp файлы.
Так во, как достичь такого результата, чтоб при отправки проекта на сервер, там были б не jsp файлы, а name_jsp.class.
Начал капать в эту сторону:
https://community.jboss.org/wiki/PrecompileJSPs
Но не пойму, куда прицепить этот buld.xml файл.