JDK_VERSION = -DVERSION_SPECIFICATION='"9"' -DVERSION_SHORT='"9-internal"' \
-DVERSION_MAJOR=9 -DVERSION_MINOR=0 -DVERSION_SECURITY=0 \
-DVERSION_BUILD=0 -DVERSION_PATCH=0 \
-DVERSION_STRING='"9-genode.openjdk"'