While reviewing the PR for [JDK-8289798](https://bugs.openjdk.org/browse/JDK-8289798) (switching to jtreg 7) I realized that it would be better if configure checked if the provided jtreg is of the minimum required version.
This PR is dependent on https://github.com/openjdk/jdk/pull/9964, so what you see here is a diff relative to that PR, and it can't be merged until that PR has been merged. ------------- Depends on: https://git.openjdk.org/jdk/pull/9964 Commit messages: - 8292716: Configure should check that jtreg is of the required version Changes: https://git.openjdk.org/jdk/pull/9965/files Webrev: https://webrevs.openjdk.org/?repo=jdk&pr=9965&range=00 Issue: https://bugs.openjdk.org/browse/JDK-8292716 Stats: 19 lines in 1 file changed: 19 ins; 0 del; 0 mod Patch: https://git.openjdk.org/jdk/pull/9965.diff Fetch: git fetch https://git.openjdk.org/jdk pull/9965/head:pull/9965 PR: https://git.openjdk.org/jdk/pull/9965
