--- old/doc/building.html 2019-07-16 01:22:57.746123207 +0200 +++ new/doc/building.html 2019-07-16 01:22:57.546123631 +0200 @@ -1,24 +1,19 @@ - + - - - + + + Building the JDK - - + + -
+

Building the JDK