src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/formats/html/SourceToHTMLConverter.java

*** 318,328 ****
       * @param line the string to format.
       * @param currentLineNo the current number.
       */
      private void addLine(Content pre, String line, int currentLineNo) {
          if (line != null) {
!             Content anchor = HtmlTree.A_ID(
                      "line." + Integer.toString(currentLineNo),
                      new StringContent(utils.replaceTabs(line)));
              pre.add(anchor);
              pre.add(NEW_LINE);
          }
--- 318,328 ----
       * @param line the string to format.
       * @param currentLineNo the current number.
       */
      private void addLine(Content pre, String line, int currentLineNo) {
          if (line != null) {
!             Content anchor = HtmlTree.SPAN_ID(
                      "line." + Integer.toString(currentLineNo),
                      new StringContent(utils.replaceTabs(line)));
              pre.add(anchor);
              pre.add(NEW_LINE);
          }