public String[] listUsersForRole(String roleID) throws DBException {
Transaction tx = new Transaction();
try {
XMLSerializableAdapter col = getUsersCollection();
String queryString = "/user[role[.='"+roleID+"']]/@id";
ResultSet rs = col.queryCollection(tx, XPathQueryResolver.STYLE_XPATH, queryString, null);
Set roles = new TreeSet();
while ( rs.next() ) {
try {
String userID = DTSMHelper.tableToText(rs.getResult());
roles.add(userID);