persistent_remove BUILD_JDK &&
if spell_ok $SPELL; then
  BUILD_JDK=$SPELL
else
  local JDKS=$(gaze provides JDK12 | grep -v "^$SPELL\$" | tail +2) &&
  config_query_list BUILD_JDK "Which JDK provider do you want to use to build ${SPELL}?" $JDKS
fi
