Ah, a last thing: instead of renaming the index.jsp to web_start.jsp or other, if all jsp (and jnlp) will be filtered out when copied to the site, I think it's more simpler to keep the name as is, ok ?
Actually, I would prefer web_start.jsp, because this makes its purpose much clearer.
And then in the ant task to generate the pivot-demos.war we have to exclude index.html (otherwise this will take precedence over the jsp page). Do you want to make this, or Todd ?
We don't need to exclude anything from the WARs (in fact, if we exclude index.html from pivot-demos.war, then users wouldn't be able to run any of the demos as applets). We just need to make sure that the JSP and JNLP files don't get pushed out to the main site. Todd or I will do this manually when we release a new version.
