@Override public void setOptions(final Set<Option> options) { if (options.contains(Option.TREE_NAVIGATOR)) { explorer.setNavType(Explorer.NavType.TREE, businessOptions); } else { explorer.setNavType(Explorer.NavType.BREADCRUMB, businessOptions); } }