this.rifCodeEditor = new RifCodeEditor();
this.console = new Console();
// from VisualEditor<Operator>
this.statusBar = visualRifEditor.getStatusBar();
this.documentGraph = new DocumentGraph(this, this.visualRifEditor);
this.visualGraphs.add(this.documentGraph);
LANGUAGE.SEMANTIC_WEB.setStyles();
}//End Constructor