<!DOCTYPE html><html><head>

<meta http-equiv="Content-Type" content="text/html; charset=utf-8">

  </head>

  <body>

    <p>On 2024-05-15 02:13, Nizar Benalla wrote:</p>

    <blockquote type="cite" cite="mid:BL3PR10MB618653272EB340661F4CA1978AE32@BL3PR10MB6186.namprd10.prod.outlook.com">

      <style type="text/css" style="display:none;">P {margin-top:0;margin-bottom:0;}</style>

      <div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

        Hello,<br>

        <br>

        I discovered after some recent work around javadoc that `javac`

        does not recognize `package.html` files, which predate

        `package-info.java`. Some tools that want to analyze doc

        comments need to deal with this in special ways.<br>

        <br>

      </div>

      <div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 16px; color: rgb(0, 0, 0);">

        <span style="background-color: rgb(255, 255, 255);">Maybe

          optional support for these files can be added into `javac`.

          But with only 21 `package.html` files in the JDK in modules

          that do not have internal in the name, I want to suggest

          simply converting them as it will be done once and won't need

          maintenance</span></div>

      <div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

        <br>

        There are 9 package.html files I'd like to convert into

        package-info.java in java.management, one in java.management.rmi

        (and if this passes, one in java.naming)<br>

        <br>

        I want to hear what you think,<br>

        Nizar</div>

      <div class="elementToProof" style="font-family: Aptos, Aptos_EmbeddedFont, Aptos_MSFontService, Calibri, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">

        <br>

      </div>

    </blockquote>

    <p>That sounds like a straightforward and beneficial conversion. As

      you say, the package.html format is old, and provides no benefits

      to package-info.java.</p>

    <p><br>

    </p>

    <p>/Magnus<br>

    </p>

  </body>

</html>