if (guiConfiguration.containsKey(TEST_CASE_TAB_ON_SELECT_PROPERTY)) {
testCaseTabOnSelect = guiConfiguration.getString(TEST_CASE_TAB_ON_SELECT_PROPERTY).toLowerCase();
} else {
guiConfiguration.setProperty(TEST_CASE_TAB_ON_SELECT_PROPERTY, testCaseTabOnSelect);
try {
guiConfiguration.save();
} catch (ConfigurationException ex) {
logger.error("Error while saving GUI configuration: " + ex.getMessage());
}
}
if (testCaseTabOnSelect.equals("doc")) {