Use system property in web.xml file #13