modifications for .html to .jsp