diff -r 62edbd5c95cc -r 1426d478ccda src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Fri Nov 30 17:53:32 2012 +0100
+++ b/src/Pure/System/isabelle_system.scala	Fri Nov 30 21:28:35 2012 +0100
@@ -9,7 +9,6 @@
 
 import java.lang.System
 import java.util.regex.Pattern
-import java.util.Locale
 import java.io.{InputStream, OutputStream, File => JFile, BufferedReader, InputStreamReader,
   BufferedWriter, OutputStreamWriter, IOException, FileInputStream, BufferedInputStream}
 import java.awt.{GraphicsEnvironment, Font}