hg: jdk9/sandbox/langtools: Merge

[pavel.rappo at oracle.com]

Changeset: 0bff391427d2
Author:    prappo
Date:      2016-09-02 10:47 +0100
URL:       http://hg.openjdk.java.net/jdk9/sandbox/langtools/rev/0bff391427d2

Merge

- src/jdk.javadoc/share/classes/jdk/javadoc/internal/doclets/toolkit/util/DocletAbortException.java