@Deprecated
  public void setHighlightInternalJdk(boolean highlightInternalJdk) {
    myHighlightInternalJdk = highlightInternalJdk;
  }
@Deprecated
  public void setHighlightInternalJdk(boolean highlightInternalJdk)