public void propertyChange(PropertyChangeEvent arg0) {
if (arg0.getPropertyName() == "regExTree" && arg0.getNewValue() != null) {
if(arg0.getNewValue() == null)
return;
this.treeModel = new JTreeASTModel((CommonAST)arg0.getNewValue());
this.jScrollPane.setViewportView(getJTree());
this.validate();
}
}