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