SemanticHighlightings.initDefaults(store);
SemanticHighlightings.initDefaults(store);
SemanticHighlightings.initDefaults(store);
SemanticHighlightings.initDefaults(store);
SemanticHighlightings.initDefaults(store);
SemanticHighlightings.initDefaults(store);