if (e.getSource() == ctree
&& (e.getButton() == MouseEvent.BUTTON3 || (e.getButton() == MouseEvent.BUTTON1 && e
.getModifiersEx() == MouseEvent.CTRL_DOWN_MASK))) {
log.warning(e.toString());
AbstractTreeNode node = (AbstractTreeNode) ctree
.getLastSelectedPathComponent();
if (node == null)
node = (AbstractTreeNode) this.treeModel.getRoot();
DefaultPolicyTreePopupMenu p = new DefaultPolicyTreePopupMenu(this,