Changeset: 06fdb8783d51 Author: jjg Date: 2018-11-14 16:27 -0800 URL: http://hg.openjdk.java.net/jdk/submit/rev/06fdb8783d51 8213913: Redundant HTML in java.se/module-info.java Reviewed-by: lancea, mchung ! src/java.se/share/classes/module-info.java