RFR: 8332071: Convert package.html files in `java.management.rmi` to package-info.java [v4]

[Nizar Benalla]

> 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

Nizar Benalla has updated the pull request incrementally with one additional commit since the last revision:

  suggestions from roger

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/19263/files
  - new: https://git.openjdk.org/jdk/pull/19263/files/232a533a..393bf3a3

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=19263&range=03
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=19263&range=02-03

  Stats: 4 lines in 2 files changed: 0 ins; 0 del; 4 mod
  Patch: https://git.openjdk.org/jdk/pull/19263.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/19263/head:pull/19263

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