src/Pure/Admin/build_release.scala

       val other_isabelle =
         Other_Isabelle(release.isabelle_dir,
           isabelle_identifier = release.other_isabelle_identifier,
           progress = progress)
 
-      other_isabelle.init_settings(
-        (base_dir.absolute + Path.explode("contrib")).implode, nonfree = false, Nil)
+      other_isabelle.init_settings((base_dir.absolute + Path.explode("contrib")).implode, Nil)
       other_isabelle.resolve_components(echo = true)
 
       try {
         val export_classpath =
           "export CLASSPATH=" + Bash.string(other_isabelle.getenv("ISABELLE_CLASSPATH")) + "\n"