wildcard "*" for <role-name> interpreted as error

Web XML Editor shows a non-existing error for web.xml when there is an <auth-constraint> with <role-name>*</role-name>

• is allowed as a placeholder for all roles