if (e.getKeyCode() == KeyEvent.VK_F5) {
triggerNodeAction(RefreshAction.ID);
}
}
});
tree.setCellRenderer(new RegistryTreeCellRenderer());
scrollPane.setViewportView(tree);
popupMenu = new JPopupMenu();
popupMenu.setLabel("");
addPopup(tree, popupMenu);