Integrated: 7940: Fix manifest making the Eclipse IDE unhappy

[Marcus Hirt]

On Thu, 20 Oct 2022 22:30:34 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> ...

This pull request has now been integrated.

Changeset: b5f34909
Author:    Marcus Hirt <hirt at openjdk.org>
URL:       https://git.openjdk.org/jmc/commit/b5f34909964bf387e6edb65aa30f1e082c789d16
Stats:     1 line in 1 file changed: 0 ins; 1 del; 0 mod

7940: Fix manifest making the Eclipse IDE unhappy

Reviewed-by: aptmac, clanger

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

PR: https://git.openjdk.org/jmc/pull/445