Gábor Boskovits writes: > As of openjdk9 openjdk became free, so there is no longer a need for > icetea. That is why there is no newer version, and you can find openjdk 9 > 10 and 11 in guix. Good to know! Thank you for mentioning this. -- Chris