8081828384858687888990
super.setPartName( partName ); DRLRuleEditor2.this.setPartName( partName ); } }; reteViewer = new ReteViewer(textEditor); int text = addPage( textEditor, getEditorInput() ); int rete = addPage( reteViewer,