Negotiation Guide: users.properties should be replaced by roles.properties (for roles mapping)

Document URL:
http://documentation-stage.bne.redhat.com/docs/en-US/JBoss_Enterprise_Application_Platform/5/html/Negotiation_User_Guide/sect-Role_Mapping.html

Section Number and Name:
2.4.1. Setting up Role Mapping with a Users Properties File

Describe the issue:
"Users Properties" and "users.properties" should be replaced by "Roles Properties" and "roles.properties".

Additional information:
users.properties file is used for defining username-password mapping, but roles.properties is used to map roles to a user.