Integrated: 8332071: Convert package.html files in `java.management.rmi` to package-info.java

[Nizar Benalla]

On Thu, 16 May 2024 10:39:43 GMT, Nizar Benalla <nbenalla at openjdk.org> wrote:

> Please review this change. I converted the `package.html` file to `package-info.java`, because `javac` cannot recognize `package.html`.
> I already brought this up [in the mailing list](https://mail.openjdk.org/pipermail/serviceability-dev/2024-May/055650.html).
> The conversion was done in-place, only renaming it in git.
> 
> I also added a couple of `@since` tags, with only 2 changes I don't want to split these two fixes into separate PRs.
> `CREDENTIALS_FILTER_PATTERN` and `SERIAL_FILTER_PATTERN` were first added in https://bugs.openjdk.org/browse/JDK-8187556

This pull request has now been integrated.

Changeset: a0c5714d
Author:    Nizar Benalla <nbenalla at openjdk.org>
Committer: Kevin Walls <kevinw at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/a0c5714dbc8a60d905f9deea153e7f31fbd64d06
Stats:     675 lines in 3 files changed: 330 ins; 329 del; 16 mod

8332071: Convert package.html files in `java.management.rmi` to package-info.java
8332376: Add `@since` tags to `java.management.rmi`

Reviewed-by: kevinw, rriggs

-------------

PR: https://git.openjdk.org/jdk/pull/19263