Problem with *.page.xml files in new Tomcats

[ivanzgb]

Hi,

I'm using Seam 2.0.1.GA in a webapp deployed on Tomcat. When I switched from Tomcat 6.0.14 to 6.0.16 I noticed my
*.page.xml files aren't being loaded anymore. It might have something to do with this:

Tomcat bug

I see that Pages.createPage(String viewId) contains:

String resourceName = replaceExtension(viewId, ".page.xml");
InputStream stream = resourceName==null ? 
            null : ResourceLoader.instance().getResourceAsStream( resourceName.substring(1) );

Perhaps that 'substring(1)' at the end should be removed?

Thx,
Ivan

[przemjaskier]

That's a candidate for critical on JIRA I think. Report please.