LabelHighlighter extension: An extension to Vaadins Label. The label will be syntax-highlighted after this extension is attached to it. After changing the text of the label update() must be called to updtae the syntax-highlighting. Alternatively setValue(String value) of this class takes care of changing the text and formatting it.
Uses Highlight.js 9.12.0 from cloudflare cdn.