/**
  * Uninstall Semantic Highlighting.
  *
  * @since 3.0
  */
 void uninstallCodeColoring() {
   if (fCodeColorManager != null) {
     fCodeColorManager.uninstall();
     fCodeColorManager = null;
   }
 }