src/Pure/Tools/build_docker.scala
22 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
22 months ago wenzelm 2017-10-08 build_docker is regular tool (non-admin);