String lowStr = BotUtil.extract(str,"low=",".",0);
String highStr = BotUtil.extract(str,"high=",",",0);
int low = Integer.parseInt(lowStr);
int high = Integer.parseInt(highStr);
tab.addHiddenRange(low,high);
}
EncogWorkBench.getInstance().getMainWindow().getTabManager().openModalTab(tab, "Incremental Prune");