<!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>