author | jjg |
Wed, 14 Nov 2018 16:27:11 -0800 | |
changeset 52564 | 06fdb8783d51 |
parent 52563 | 8934429cfb0b |
child 52565 | 8fffe44e0400 |
--- a/src/java.se/share/classes/module-info.java Wed Nov 14 16:11:21 2018 -0800 +++ b/src/java.se/share/classes/module-info.java Wed Nov 14 16:27:11 2018 -0800 @@ -25,7 +25,6 @@ /** * Defines the API of the Java SE Platform. - * <P> * * <dl> * <dt class="simpleTagLabel" style="font-family:'DejaVu Sans', Arial, Helvetica, sans serif">Optional for the Java SE Platform:</dt>