|| extension.equalsIgnoreCase("gif")
|| extension.equalsIgnoreCase("png")) {
tab = new ImageFileTab(file);
this.tabManager.openTab(tab);
} else {
tab = new GenericFileTab(file);
this.tabManager.openTab(tab);
}
}
} catch(Throwable t) {
EncogWorkBench.displayError("Error Reading File", t);