How to get a JID of a user?

I tried to get all the users using

userManager.getUsers()

however, I don’'t know how to get the JID of a user with the “User” object

any idea?

thanks

String serverName = XMPPServer.getInstance().getServerInfo().getName(); for (User user: userManager.getUsers()) {
  String userName = user.getUsername();
  String jid = userName + "@" + serverName;
}