hg: jdk9/dev/jdk: 8179538: Update jdk.jdi to be HTML-5 friendly

[kumar.x.srinivasan at oracle.com]

Changeset: 0fa2b22476cd
Author:    ksrini
Date:      2017-05-03 07:39 -0700
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/0fa2b22476cd

8179538: Update jdk.jdi to be HTML-5 friendly
Reviewed-by: mchung, sspitsyn

! src/jdk.jdi/share/classes/com/sun/jdi/ClassType.java
! src/jdk.jdi/share/classes/com/sun/jdi/InterfaceType.java
! src/jdk.jdi/share/classes/com/sun/jdi/JDIPermission.java
! src/jdk.jdi/share/classes/com/sun/jdi/Location.java
! src/jdk.jdi/share/classes/com/sun/jdi/ObjectReference.java
! src/jdk.jdi/share/classes/com/sun/jdi/Type.java
! src/jdk.jdi/share/classes/com/sun/jdi/Value.java
! src/jdk.jdi/share/classes/com/sun/jdi/VirtualMachineManager.java
! src/jdk.jdi/share/classes/com/sun/jdi/doc-files/signature.html
! src/jdk.jdi/share/classes/module-info.java