int index = parent.getIndex(resource);
System.out.println("Removing " + resource.toString());
resource.removeFromParent();
DefaultTreeModel dtm = (DefaultTreeModel) CheckboxTreeExample.this.checkboxTree.getModel();
// dtm.nodeStructureChanged(parent);
dtm.nodesWereRemoved(parent, new int[] { index }, new TreeNode[] { resource });
}
}
if (e.getKeyChar() == 'a') {
if (resource != null) {