minor modifications to configuration for different hostname
Added configuration to put user preferences in the tomcat base directory.