*** old/make/Javadoc.gmk	Mon Mar 20 13:32:24 2017
--- new/make/Javadoc.gmk	Mon Mar 20 13:32:24 2017

*** 122,131 ****
--- 122,132 ----
      org.w3c.dom.css \
      org.w3c.dom.html \
      org.w3c.dom.stylesheets \
      org.w3c.dom.xpath \
      org.graalvm.compiler.% \
+     org.graalvm.util% \
      #
  
  CORE_PACKAGES := $(filter-out $(CORE_EXCLUDED_PACKAGES), \
      $(JAVA_PACKAGES) $(JAVAX_PACKAGES) $(ORG_PACKAGES))