2.12: newer Scala SHA

Author: SethTisue

run.sh

@@ -15,7 +15,7 @@ export LANG="en_US.UTF-8"
 export HOME="$(pwd)"
 
 # Defaults
-scala_version_default="2.12.8-bin-bd441b7"  # Nov 16
+scala_version_default="2.12.8-bin-25c7215"  # Nov 19
 scala_version="$scala_version_default"
 root_dir=$(pwd)
 config_dir="configs"