return;
}
if (node.getType() == TreeNode.PARAMETER_TYPE) {
ParameterType param = (ParameterType) node;
JLabel l1 = new JLabel("Parameter Type: ");
l1.setFont(f);
l1.setAlignmentY(Component.CENTER_ALIGNMENT);
p.add(l1);
String v = param.getName();
name = new JTextField(v, v.length() + 2);
name.addKeyListener(this);
name.setFont(f);
name.setAlignmentY(Component.CENTER_ALIGNMENT);
p.add(name);
JLabel l2 = new JLabel("Regexp: ");
l2.setFont(f);
l2.setAlignmentY(Component.CENTER_ALIGNMENT);
p.add(l2);
v = param.getRegexp();
value = new JTextField(v, v.length() + 6);
value.addKeyListener(this);
value.setFont(f);
value.setAlignmentY(Component.CENTER_ALIGNMENT);
p.add(value);