hg: jdk9/dev/langtools: 8176481: javadoc does not consider mandated modules

[kumar.x.srinivasan at oracle.com]

Changeset: ee787e34231d
Author:    ksrini
Date:      2017-03-23 14:18 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/langtools/rev/ee787e34231d

8176481: javadoc does not consider mandated modules
Reviewed-by: jjg

! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/ElementsTable.java
! src/jdk.javadoc/share/classes/jdk/javadoc/internal/tool/resources/javadoc.properties
+ test/jdk/javadoc/tool/modules/MissingSourceModules.java
! test/jdk/javadoc/tool/modules/Modules.java
! test/jdk/javadoc/tool/modules/PatchModules.java