DTDBuilder headful?

[David DeHaven]

Does DTDBuilder need to run headful?

It creates a app menu while running on Mac that doesn't always close cleanly.
I added -Djava.awt.headless=true and it still seems to work, at least it doesn't kill the build process.

diff --git a/make/Tools.gmk b/make/Tools.gmk
--- a/make/Tools.gmk
+++ b/make/Tools.gmk
@@ -71,6 +71,7 @@
     build.tools.generatecharacter.CharacterName
 
 TOOL_DTDBUILDER = $(JAVA) -Ddtd_home=$(JDK_TOPDIR)/make/data/dtdbuilder \
+    -Djava.awt.headless=true \
     -cp $(JDK_OUTPUTDIR)/btclasses build.tools.dtdbuilder.DTDBuilder
 
 TOOL_GENERATEBREAKITERATORDATA = $(JAVA) \


Build log output:
...
Compiling 4 files for BUILD_BREAKITERATOR
Generating HTML DTD file
[Parsed DTD html32 in 87ms]
Compiling 9956 files for BUILD_JDK
...
## Finished jdk (build time 00:04:37)

-DrD-