tree c4ff8c3d7363cae6e3976582f73c16f7443f73c8
parent 7c332b5e5a5aa5956dc66e22844f384b52adca08
author cushon <cushon@google.com> 1533744548 -0700
committer Jakob Buchgraber <buchgr@google.com> 1533821829 +0200

Don't use @local_jdk for jni headers

instead, read the heads from the configured java runtime, so the values
track with changes to --javabase.

See #5594

PiperOrigin-RevId: 207894086