Misc

* Default file server name in web.xml
* Note for JVM options
* Fixing pom.xml for easier compilation, I'm not a specialist but it should be OK.