Added a ProblemsLabelDecorator for the Navigator tree view.