--- old/make/hotspot/gensrc/GensrcJvmti.gmk	2017-10-05 11:56:08.708643246 +0200
+++ new/make/hotspot/gensrc/GensrcJvmti.gmk	2017-10-05 11:56:08.464647097 +0200
@@ -23,7 +23,7 @@
 # questions.
 #
 
-$(eval $(call IncludeCustomExtension, , hotspot/gensrc/GensrcJvmti.gmk))
+$(eval $(call IncludeCustomExtension, hotspot/gensrc/GensrcJvmti.gmk))
 
 ################################################################################
 # Build tools needed for the JVMTI source code generation