diff -r d2c9fee88260 -r b6f2e71b26c5 make/Javadoc.gmk
--- a/make/Javadoc.gmk	Fri Jun 26 10:02:21 2015 +0200
+++ b/make/Javadoc.gmk	Fri Jun 26 10:09:55 2015 +0200
@@ -308,8 +308,8 @@
 
 
 
-# Assume we need a draft format whenever the pre-release identifier is non-empty
-ifneq ($(VERSION_PRE),)
+# Assume we need a draft format when the version string is not a GA version.
+ifeq ($(VERSION_IS_GA), false)
   DRAFT_HEADER := <br><strong>DRAFT&nbsp;$(VERSION_STRING)</strong>
   DRAFT_BOTTOM := <br><strong>DRAFT&nbsp;$(VERSION_STRING)</strong>
   DRAFT_WINTITLE := $(VERSION_BUILD)