protected void fireMasterSelection(ISelection selection) { fElementSection.fireSelection(selection); }
protected void fireSelectionChange() { fElementSection.fireSelection(fElementSection.getTreeViewer().getSelection()); }