static HighlightingManager() { highlightingManager = new HighlightingManager(); }
static HighlightingManager() { highlightingManager = new HighlightingManager(); }
static HighlightingManager() { highlightingManager = new HighlightingManager(); }
static HighlightingManager() { highlightingManager = new HighlightingManager(); }