Is there a distinction between `${SPARK_REPL_OPTS:-""}` and just `$SPARK_REPl_OPTS`? I'm just not certain what this is trying to accomplish.