src/Pure/System/components.scala

         if (props_path.is_file) {
           try {
             for (case (a, b) <- File.read_props(props_path).asScala.toList)
               yield {
                 if (!default_platforms.defined(a)) error("Bad platform family " + quote(a))
-                val ps = List.from(b.split("\\s+").iterator.filter(_.nonEmpty)).map(Path.explode)
+                val ps = Word.explode(b).map(Path.explode)
                 for (p <- ps if !p.all_basic) error("Bad path outside component " + p)
                 a -> ps
               }
           }
           catch { case ERROR(msg) => error(msg + Position.here(Position.File(props_path.implode))) }