void fetchUserDetails() { try { UserDetails d = plugin.getUserDetails(getMyLoginId(), contactListEntry.getText()); String s = getMyLoginId() + " reports: user details for " + contactListEntry.getText() + " are:\r\n nick=" + StringUtil.toPrintableString(d.getNick()) + ",\r\n real name=" + StringUtil.toPrintableString(d.getRealName()) + ",\r\n email=" + StringUtil.toPrintableString(d.getEmail()) + "."; CAT.info(s); log(s); } catch (Exception ex) { printException(ex); } }