name.setText(ctx.getBase());
p.add(name);
}
if (node.getType() == TreeNode.INCLUDE_FILTER_NODE) {
IncludeFilterNode inc = (IncludeFilterNode) node;
JLabel l1 = new JLabel("Include filters: ");
l1.setFont(f);
l1.setAlignmentY(Component.CENTER_ALIGNMENT);
p.add(l1);
name = new JTextField(10);
name.addKeyListener(this);
name.setAlignmentY(Component.CENTER_ALIGNMENT);
name.setText(inc.getTagsAsString());
p.add(name);
}
if (node.getType() == TreeNode.CHECK_TOKEN_NODE) {