Duplicate of Install of openjdk11 is failing (again) – more details at https://github.com/sormuras/bach/issues/51