PETSTORE 导航。。。??

02-10-30 roadbai
一个问题关于Petstore的,就是它的分页的导航条的HTML代码是在什么地方写到JSP中的,是某个TAGLIB,还是某个JAVA文件中的?
请各位高人指点!