Jburg and build-tools now require JDK 11 or higher

[Yishay Weiss]

Josh (or anyone else),

Can you confirm that 3373454a4f35005026412122d7d740718d784c2d makes sense?