OO-1264: fix user tool in top navigation on new installed system

src/main/java/org/olat/gui/control/OlatTopNavController.java

@@ -241,7 +241,7 @@ public class OlatTopNavController extends BasicController implements GenericEven
 			if (anExt.isEnabled() && ae instanceof GenericActionExtension) {
 				GenericActionExtension gAe = (GenericActionExtension) ae;
 				String extensionId = gAe.getUniqueExtensionID();
-				if(availableToolSet.contains(extensionId)) {
+				if(availableToolSet.isEmpty() || availableToolSet.contains(extensionId)) {
 					GenericTreeNode node = gAe.createMenuNode(ureq);
 					String linkName = "personal.tool." + node.getIdent();
 					Link link = LinkFactory.createLink(linkName, container, this);