RFR: 8189669: Deduplicate VerifyOption documentation

[Thomas Schatzl]

Hi all,

  can I have quick reviews for this trivial? change that deduplicates some documentation?

Testing: local compilation

Thanks,
  Thomas

-------------

Commit messages:
 - 8189669: Deduplicate VerifyOption documentation

Changes: https://git.openjdk.java.net/jdk/pull/8809/files
 Webrev: https://webrevs.openjdk.java.net/?repo=jdk&pr=8809&range=00
  Issue: https://bugs.openjdk.java.net/browse/JDK-8189669
  Stats: 52 lines in 6 files changed: 8 ins; 39 del; 5 mod
  Patch: https://git.openjdk.java.net/jdk/pull/8809.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/8809/head:pull/8809

PR: https://git.openjdk.java.net/jdk/pull/8809