JsArrayString tabSet1 = createArray().cast();
tabSet1.push("Environment");
tabSet1.push("History");
tabSet1.push("Build");
tabSet1.push("VCS");
tabSet1.push("Presentation");
JsArrayString tabSet2 = createArray().cast();
tabSet2.push("Files");
tabSet2.push("Plots");
tabSet2.push("Packages");