Withdrawn: JDK-8264488: Improve warning for module names ending with digits

[duke]

On Tue, 23 May 2023 12:25:07 GMT, Sebastian Stenzel <duke at openjdk.org> wrote:

> Since this is a rather trivial change, I didn't start a new discussion, as I deem this sufficiently discussed [back in early 2021](https://mail.openjdk.org/pipermail/discuss/2021-March/005779.html).

This pull request has been closed without being integrated.

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

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