[isabelle-dev] jdk-8u121

[Makarius]

Isabelle/9c94853f03b3 is now on jdk-8u121, which was released by Oracle
last week. It is a relatively unexciting update, see also:

http://www.oracle.com/technetwork/java/javaseproducts/documentation/8u121-revision-builds-relnotes-3450732.html

http://www.oracle.com/technetwork/java/javase/8u121-relnotes-3315208.html


More interesting is the "isabelle build_jdk" tool in Isabelle/Scala
instead of bash:
http://isabelle.in.tum.de/repos/isabelle/file/9c94853f03b3/src/Pure/Admin/build_jdk.scala


	Makarius