在我们的 jar 中的 `module-info` 中设置 `ModulePackages`

我在 https://GitHub.com/jspecify/jspecify/issues/866#issuecomment-5229519195 中注意到, _JSpecify_ 在其 `module-info.class` 中没有包含 `ModulePackages` 属性。这让我去检查了 _Guava_, 结果发现我们也没有包含这个属性。这可能是出于类似的原因: Maven 会自行构建 jar,而不使用 `jar`,这会自动修改 `module-info.class` 以包含该属性(我猜)。我的理解是, `ModulePackages` 只是一种优化, 可能仅在运行时, 而不是编译时, 但我不确定。尽管如此, 这应该是一个漂亮的优化, 有一天会被解锁。