Adding remote user to group through edit group page throws exception

Adding remote users to a group through the ‘Edit Group’ admin console web page throws an exception. I am working with an organization that needs to control and grant access to remote users through the use of groups. When I tried this, the DefaultUserProvider threw an exception when I added a user from a remote domain. After inspecting the source for DefaultGroupProvider and group-edit.jsp, it appears that this is an intended / supported feature. I tested this by adding a check for a local user near line 700 of group-edit.jsp. Basically I added a line like this at line 700 <c:when test=…XMPPServer.isLocal(member)}">. Then in the the otherwise (not isLocal) i simply used ${member} instead of userManager.getUser(member). This change allowed me to add remote users to the group.