take the property file name from web.xml

no longer need to change system properties of the entire application server