// Given an array of tabs, replace any obsolete entries with their
// replacements
public static void replaceObsoleteTabs(JsArrayString tabs) {
for (int idx = 0; idx < tabs.length(); idx++) {
if (indexOfReplacedTab(tabs.get(idx)) >= 0) {
tabs.set(idx, getReplacementTabs()[idx]);
}
}
}
