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"'