Server.properties - webPort

I just found out that the Helma web server port number can be set in the 
server.properties file using the property name of "webPort'.  It might 
be helpful if that was documented in the Servers and Application 
Properties page.

Thanks,
Kris