addPage( xmlEditor,
getEditorInput() );
DRLRuleEditor drlEditor = new DRLRuleEditor() {
protected IDocumentProvider createDocumentProvider() {
return new DRLDocumentProvider() {
public boolean isReadOnly(Object element) {
return true;
}
public boolean isModifiable(Object element) {