}
/*package protected */ void fireDockableSelectionChange(DockableSelectionEvent e){
for (int i = 0; i < dockableSelectionListeners.size(); i++) {
DockableSelectionListener listener = dockableSelectionListeners.get(i);
listener.selectionChanged(e);
}
}
public void addDockingActionListener(DockingActionListener listener) {
if (!dockingActionListeners.contains(listener)){