void updateIconList(TreeNode parentNode, Device device) {
IconList iconList = device.getIconList();
int nIcons = iconList.size();
for (int n = 0; n < nIcons; n++) {
Icon icon = iconList.getIcon(n);
String url = icon.getURL();
TreeNode iconNode = new TreeNode(url);
iconNode.setUserData(icon);
parentNode.add(iconNode);
}
}
