Changes

Properly configure gradle toolchains

/Great/, how did I never catch that?
Although honestly I do not know whether it is really a good idea to
keep them (i.e. the older JDKs) long-term.
 (commit: ba48326)