--- old/doc/building.html 2018-06-26 17:08:42.536473050 -0700 +++ new/doc/building.html 2018-06-26 17:08:42.336478069 -0700 @@ -1,11 +1,16 @@ - + - - - - Building OpenJDK - + + + + Building the JDK +