what jdk for build?

[Terrence Enger]

On Fri, 2019-12-27 at 10:35 -0500, Terrence Enger wrote:
> Thank you.  I shall look for the warning
to be gone when I next build
> for Android.

And the warning is indeed gone.