hg: jigsaw/jake/jdk: 8160181: Add lint warning for digits in module names

[jan.lahoda at oracle.com]

Changeset: ad27fe64f0ea
Author:    sadayapalam
Date:      2016-12-13 15:23 +0100
URL:       http://hg.openjdk.java.net/jigsaw/jake/jdk/rev/ad27fe64f0ea

8160181: Add lint warning for digits in module names

! src/java.compact1/share/classes/module-info.java
! src/java.compact2/share/classes/module-info.java
! src/java.compact3/share/classes/module-info.java
! src/jdk.crypto.pkcs11/share/classes/module-info.java
! src/jdk.pack200/share/classes/module-info.java