public Panes(Frame owner, DataSourcePool sourcePool) {
super(owner, JSplitPane.VERTICAL_SPLIT, true, true);
// SOURCE PANE
filteredSourceTree = new FilteredSourceTree(new SourceTree(sourcePool), resources.getString("KnownSources"));
for (Iterator it = Run.plugins.iterator(); it.hasNext();) {
Plugin p = (Plugin) it.next();
Object[][] tab = p.getDataSourceIcons();
if (tab != null) {
SourceTree.addSourceIcons(tab);