I'm using opnejdk-8 for 13.0 without any issues, so you don't have to switch between 7/8 java for 13.0/15.1/16.0, openjdk-8 should be OK.
Also, I'm using prebuilt kernel, i.e. I'm building kernel out of android scope and then just use zImage in device tree.