Specify target Java version for bundled extensions - addresses part
of #754