Hello, I'm trying to protect my servlets, if I modify the server.xml in tomcat folder adding

instead of

it works using the tomcat-users.xml file in tomcat folder. But I want to use users.properties and roles.properties where should I put it and what should I modify?

Thanks,
Marc