SimpleRoleProvider.java: fix warnings.
RoleProvider.java: add ignore_case getter.
Move property to RoleProvider.