DevTools: Fix java version check.

Change-Id: I231ac01a72c90d4d6feac86ae8278590f3e494cf
Reviewed-on: https://chromium-review.googlesource.com/c/1315994Reviewed-by: Pavel Feldman <pfeldman@chromium.org>
Commit-Queue: Alexei Filippov <alph@chromium.org>
Cr-Commit-Position: refs/heads/master@{#605775}

third_party/blink/renderer/devtools/scripts/compile_frontend.py

@@ -216,7 +216,7 @@ def find_java():
     if match:
         major = int(match.group(1))
         minor = int(match.group(2))
-        is_ok = major >= required_major and minor >= required_minor
+        is_ok = major > required_major or major == required_major and minor >= required_minor
     if is_ok:
         exec_command = [java_path, '-Xms1024m', '-server', '-XX:+TieredCompilation']
         check_server_proc = popen(exec_command + ['-version'])