hg: jdk/submit: 8225134: Update man-page files

[jonathan.gibbons at oracle.com]

Changeset: d4890c3721be
Author:    jjg
Date:      2019-05-31 17:27 -0700
URL:       http://hg.openjdk.java.net/jdk/submit/rev/d4890c3721be

8225134: Update man-page files
Reviewed-by: erikj, mchung

! src/java.base/share/man/java.1
! src/java.base/share/man/keytool.1
! src/java.rmi/share/man/rmid.1
! src/java.rmi/share/man/rmiregistry.1
! src/java.scripting/share/man/jrunscript.1
! src/jdk.compiler/share/man/javac.1
! src/jdk.compiler/share/man/serialver.1
+ src/jdk.hotspot.agent/share/man/jhsdb.1
! src/jdk.jartool/share/man/jar.1
! src/jdk.jartool/share/man/jarsigner.1
! src/jdk.javadoc/share/man/javadoc.1
! src/jdk.jcmd/share/man/jcmd.1
! src/jdk.jcmd/share/man/jinfo.1
! src/jdk.jcmd/share/man/jmap.1
! src/jdk.jcmd/share/man/jps.1
! src/jdk.jcmd/share/man/jstack.1
! src/jdk.jcmd/share/man/jstat.1
! src/jdk.jconsole/share/man/jconsole.1
! src/jdk.jdeps/share/man/javap.1
+ src/jdk.jdeps/share/man/jdeprscan.1
! src/jdk.jdeps/share/man/jdeps.1
! src/jdk.jdi/share/man/jdb.1
+ src/jdk.jlink/share/man/jlink.1
+ src/jdk.jlink/share/man/jmod.1
+ src/jdk.jshell/share/man/jshell.1
! src/jdk.jstatd/share/man/jstatd.1
! src/jdk.pack/share/man/pack200.1
! src/jdk.pack/share/man/unpack200.1
! src/jdk.rmic/share/man/rmic.1
! src/jdk.scripting.nashorn.shell/share/man/jjs.1