change .seam extension to .jsf