protected void addNavigationMenuItems(RDFResource resource, JPopupMenu menu) { super.addNavigationMenuItems(resource, menu); int row = getSelectedRow(); if (tableModel.getType(row) == NCIConditionsTableModel.TYPE_INHERITED) { final RDFSClass definingClass = tableModel.getOriginClass(row); menu.add( new AbstractAction( "Navigate to defining class (" + definingClass.getBrowserText() + ")", ProtegeUI.getIcon(definingClass)) { private static final long serialVersionUID = 441936038070346937L; public void actionPerformed(ActionEvent e) { navigateTo(definingClass); } }); } }