diff -r df887263a379 -r 793bf5fa5fbf src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Fri Dec 16 12:03:33 2011 +0100
+++ b/src/Pure/System/isabelle_system.scala	Fri Dec 16 13:37:08 2011 +0100
@@ -297,7 +297,7 @@
         for (file <- files if file.isFile) logics += file.getName
       }
     }
-    logics.toList.sortWith(_ < _)
+    logics.toList.sorted
   }