224225226227228229230231232233234
while (tokenizer.hasMoreTokens()) { token = tokenizer.nextToken(); if (token.indexOf(MultipleRoleMatcher.ROLE_SEPARATOR) == -1) { result[i] = new SingleRoleMatcher(token); } else { result[i] = new MultipleRoleMatcher(token); } i++; } return result;
218219220221222223224225226227228