LabelProvider now extends a JFACE-provided class that makes it
easier to customize the labels (e.g. bold font etc)