Adding Tomcat 7 manager roles to gdp-ui's config.jsp