src/Pure/Tools/scala_project.scala

 
   val default_project_dir = Path.explode("$ISABELLE_HOME_USER/scala_project")
 
   def package_name(source_file: Path): Option[String] =
   {
-    val lines = split_lines(File.read(source_file))
+    val lines = Library.trim_split_lines(File.read(source_file))
     val Package = """\s*\bpackage\b\s*(?:object\b\s*)?((?:\w|\.)+)\b.*""".r
     lines.collectFirst({ case Package(name) => name })
   }
 
   def the_package_dir(source_file: Path): Path =