Can I change the servlet mapping to *.html?

[Migrated From Jforum.net]

JForum uses a servlet mapping *.page, but my web is furnished by ISPs.
and they cannot change the servlet mapping to *.page only for me. How can I do? I want use JForum!! please help!
Can I do this at WEB-INF/web.xml:

   <servlet-mapping>
    	<servlet-name>install</servlet-name>
    	<url-pattern>/install/install.html</url-pattern>
    </servlet-mapping>
    
	<servlet-mapping>
    	<servlet-name>jforum</servlet-name>
    	<url-pattern>*.html</url-pattern>
    </servlet-mapping>

Or have any other way?
[originally posted on jforum.net by dymz]

[Migrated From Jforum.net]

Change in web.xml AND in WEB-INF/config/SystemGlobals.properties. In this file, seach for a key named "servlet.extension" and put there ".html" too.

That's all.

Rafael
[originally posted on jforum.net by Rafael Steil]

[Migrated From Jforum.net]

When I tried modifying the .page to .html for web.xml & systemglobal.properties. Somehow, when I go to the jforum page, it loads this error page HTTP Status 404 - /jforum/forums/list.page
The forum only loads correctly if I manually change the extension to list.html at the browser address bar. Do I still need to change any setting?
I'm using 2.15 CVS 22 Dec. Thanks!
[originally posted on jforum.net by munhin]

[Migrated From Jforum.net]

To change the extension to show .html instead of the default of .page, 3 files need to be modfied
1) web.xml
2) SystemGlobals.properties
3) index.html ->

<script type="text/javascript">
document.location = "forums/list.html";
</script>

[originally posted on jforum.net by munhin]