Thanks Gary. The other duplicates were removed by JDK-8179538 "Update jdk.jdi to be HTML-5 friendly"

David

On 23/01/2018 3:43 AM, Gary Adams wrote:
Here's a small fix to remove a duplicate InvalidTypeException.
The other reported locations appear to have already been fixed.

    Issue: https://bugs.openjdk.java.net/browse/JDK-8167253
    Webrev: http://cr.openjdk.java.net/~gadams/8167253/

Reply via email to