Changeset: 893681a9ffd3 Author: jjg Date: 2017-07-24 13:54 -0700 URL: http://hg.openjdk.java.net/jdk10/sandbox/jdk/rev/893681a9ffd3 8184217: Redundant <p> tag before list Reviewed-by: lancea ! src/java.rmi/share/classes/module-info.java