public void prefixModified(final String oldPrefix, final String newPrefix) {
}
@Override
public AbstractGuiComponent<Operator> draw(final GraphWrapper gw, final VisualGraph<Operator> parent) {
this.panel = new AnnotationOperatorPanel(parent, gw, this,this.annotation,"Annotation",true);
return this.panel;
}