fix null pointer exception in SourceViewerDecorationSupport#2415

BeckerWdf merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

tobiasmelcher:fix_null_pointer_code_mining_colortobiasmelcher/eclipse.platform.ui:fix_null_pointer_code_mining_colorCopy head branch name to clipboard