tuned imports;
authorwenzelm
Thu Feb 20 14:36:17 2014 +0100 (2014-02-20)
changeset 55618995162143ef4
parent 55617 2c585bb9560c
child 55619 c5aeeacdd2b1
tuned imports;
src/Pure/GUI/swing_thread.scala
src/Pure/General/bytes.scala
src/Pure/General/linear_set.scala
src/Pure/General/multi_map.scala
src/Pure/General/symbol.scala
src/Pure/General/timing.scala
src/Pure/Isar/completion.scala
src/Pure/Isar/parse.scala
src/Pure/PIDE/command.scala
src/Pure/PIDE/markup_tree.scala
src/Pure/PIDE/query_operation.scala
src/Pure/PIDE/xml.scala
src/Pure/System/command_line.scala
src/Pure/System/event_bus.scala
src/Pure/System/isabelle_charset.scala
src/Pure/System/isabelle_font.scala
src/Pure/System/isabelle_process.scala
src/Pure/System/isabelle_system.scala
src/Pure/System/options.scala
src/Pure/System/platform.scala
src/Pure/System/session.scala
src/Pure/Thy/html.scala
src/Pure/Tools/build.scala
src/Pure/Tools/keywords.scala
src/Pure/Tools/main.scala
src/Tools/Graphview/src/graph_panel.scala
src/Tools/Graphview/src/model.scala
src/Tools/Graphview/src/mutator_dialog.scala
src/Tools/Graphview/src/popups.scala
src/Tools/Graphview/src/visualizer.scala
src/Tools/jEdit/src/document_view.scala
src/Tools/jEdit/src/find_dockable.scala
src/Tools/jEdit/src/info_dockable.scala
src/Tools/jEdit/src/monitor_dockable.scala
src/Tools/jEdit/src/output_dockable.scala
src/Tools/jEdit/src/plugin.scala
src/Tools/jEdit/src/protocol_dockable.scala
src/Tools/jEdit/src/raw_output_dockable.scala
src/Tools/jEdit/src/scala_console.scala
src/Tools/jEdit/src/sledgehammer_dockable.scala
src/Tools/jEdit/src/syslog_dockable.scala
src/Tools/jEdit/src/theories_dockable.scala
src/Tools/jEdit/src/timing_dockable.scala
     1.1 --- a/src/Pure/GUI/swing_thread.scala	Thu Feb 20 14:17:28 2014 +0100
     1.2 +++ b/src/Pure/GUI/swing_thread.scala	Thu Feb 20 14:36:17 2014 +0100
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5  package isabelle
     1.6  
     1.7 +
     1.8  import javax.swing.{SwingUtilities, Timer}
     1.9  import java.awt.event.{ActionListener, ActionEvent}
    1.10  
     2.1 --- a/src/Pure/General/bytes.scala	Thu Feb 20 14:17:28 2014 +0100
     2.2 +++ b/src/Pure/General/bytes.scala	Thu Feb 20 14:36:17 2014 +0100
     2.3 @@ -29,7 +29,7 @@
     2.4      if (length == 0) empty
     2.5      else {
     2.6        val b = new Array[Byte](length)
     2.7 -      java.lang.System.arraycopy(a, offset, b, 0, length)
     2.8 +      System.arraycopy(a, offset, b, 0, length)
     2.9        new Bytes(b, 0, b.length)
    2.10      }
    2.11  
    2.12 @@ -101,8 +101,8 @@
    2.13      else if (isEmpty) other
    2.14      else {
    2.15        val new_bytes = new Array[Byte](length + other.length)
    2.16 -      java.lang.System.arraycopy(bytes, offset, new_bytes, 0, length)
    2.17 -      java.lang.System.arraycopy(other.bytes, other.offset, new_bytes, length, other.length)
    2.18 +      System.arraycopy(bytes, offset, new_bytes, 0, length)
    2.19 +      System.arraycopy(other.bytes, other.offset, new_bytes, length, other.length)
    2.20        new Bytes(new_bytes, 0, new_bytes.length)
    2.21      }
    2.22  
     3.1 --- a/src/Pure/General/linear_set.scala	Thu Feb 20 14:17:28 2014 +0100
     3.2 +++ b/src/Pure/General/linear_set.scala	Thu Feb 20 14:36:17 2014 +0100
     3.3 @@ -8,6 +8,7 @@
     3.4  
     3.5  package isabelle
     3.6  
     3.7 +
     3.8  import scala.collection.SetLike
     3.9  import scala.collection.generic.{ImmutableSetFactory, CanBuildFrom,
    3.10    GenericSetTemplate, GenericCompanion}
     4.1 --- a/src/Pure/General/multi_map.scala	Thu Feb 20 14:17:28 2014 +0100
     4.2 +++ b/src/Pure/General/multi_map.scala	Thu Feb 20 14:36:17 2014 +0100
     4.3 @@ -6,6 +6,7 @@
     4.4  
     4.5  package isabelle
     4.6  
     4.7 +
     4.8  import scala.collection.generic.{ImmutableMapFactory, CanBuildFrom}
     4.9  
    4.10  
     5.1 --- a/src/Pure/General/symbol.scala	Thu Feb 20 14:17:28 2014 +0100
     5.2 +++ b/src/Pure/General/symbol.scala	Thu Feb 20 14:36:17 2014 +0100
     5.3 @@ -6,6 +6,7 @@
     5.4  
     5.5  package isabelle
     5.6  
     5.7 +
     5.8  import scala.collection.mutable
     5.9  import scala.util.matching.Regex
    5.10  import scala.annotation.tailrec
     6.1 --- a/src/Pure/General/timing.scala	Thu Feb 20 14:17:28 2014 +0100
     6.2 +++ b/src/Pure/General/timing.scala	Thu Feb 20 14:36:17 2014 +0100
     6.3 @@ -14,13 +14,13 @@
     6.4  
     6.5    def timeit[A](message: String, enabled: Boolean = true)(e: => A) =
     6.6      if (enabled) {
     6.7 -      val start = java.lang.System.currentTimeMillis()
     6.8 +      val start = System.currentTimeMillis()
     6.9        val result = Exn.capture(e)
    6.10 -      val stop = java.lang.System.currentTimeMillis()
    6.11 +      val stop = System.currentTimeMillis()
    6.12  
    6.13        val timing = Time.ms(stop - start)
    6.14        if (timing.is_relevant)
    6.15 -        java.lang.System.err.println(
    6.16 +        System.err.println(
    6.17            (if (message == null || message.isEmpty) "" else message + ": ") +
    6.18              timing.message + " elapsed time")
    6.19  
     7.1 --- a/src/Pure/Isar/completion.scala	Thu Feb 20 14:17:28 2014 +0100
     7.2 +++ b/src/Pure/Isar/completion.scala	Thu Feb 20 14:36:17 2014 +0100
     7.3 @@ -6,6 +6,7 @@
     7.4  
     7.5  package isabelle
     7.6  
     7.7 +
     7.8  import scala.collection.immutable.SortedMap
     7.9  import scala.util.parsing.combinator.RegexParsers
    7.10  import scala.math.Ordering
    7.11 @@ -55,7 +56,7 @@
    7.12      def load(): History =
    7.13      {
    7.14        def ignore_error(msg: String): Unit =
    7.15 -        java.lang.System.err.println("### Ignoring bad content of file " + COMPLETION_HISTORY +
    7.16 +        System.err.println("### Ignoring bad content of file " + COMPLETION_HISTORY +
    7.17            (if (msg == "") "" else "\n" + msg))
    7.18  
    7.19        val content =
     8.1 --- a/src/Pure/Isar/parse.scala	Thu Feb 20 14:17:28 2014 +0100
     8.2 +++ b/src/Pure/Isar/parse.scala	Thu Feb 20 14:36:17 2014 +0100
     8.3 @@ -6,6 +6,7 @@
     8.4  
     8.5  package isabelle
     8.6  
     8.7 +
     8.8  import scala.util.parsing.combinator.Parsers
     8.9  import scala.annotation.tailrec
    8.10  
     9.1 --- a/src/Pure/PIDE/command.scala	Thu Feb 20 14:17:28 2014 +0100
     9.2 +++ b/src/Pure/PIDE/command.scala	Thu Feb 20 14:36:17 2014 +0100
     9.3 @@ -94,14 +94,14 @@
     9.4                    .add_markup("", Text.Info(command.proper_range, elem))  // FIXME cumulation order!?
     9.5  
     9.6                case _ =>
     9.7 -                java.lang.System.err.println("Ignored status message: " + msg)
     9.8 +                System.err.println("Ignored status message: " + msg)
     9.9                  state
    9.10              })
    9.11  
    9.12          case XML.Elem(Markup(Markup.REPORT, _), msgs) =>
    9.13            (this /: msgs)((state, msg) =>
    9.14              {
    9.15 -              def bad(): Unit = java.lang.System.err.println("Ignored report message: " + msg)
    9.16 +              def bad(): Unit = System.err.println("Ignored report message: " + msg)
    9.17  
    9.18                msg match {
    9.19                  case XML.Elem(Markup(name, atts @ Position.Reported(id, file_name, raw_range)), args)
    9.20 @@ -147,7 +147,7 @@
    9.21                st
    9.22  
    9.23              case _ =>
    9.24 -              java.lang.System.err.println("Ignored message without serial number: " + message)
    9.25 +              System.err.println("Ignored message without serial number: " + message)
    9.26                this
    9.27            }
    9.28        }
    10.1 --- a/src/Pure/PIDE/markup_tree.scala	Thu Feb 20 14:17:28 2014 +0100
    10.2 +++ b/src/Pure/PIDE/markup_tree.scala	Thu Feb 20 14:36:17 2014 +0100
    10.3 @@ -176,7 +176,7 @@
    10.4            if (body.forall(e => new_range.contains(e._1)))
    10.5              new Markup_Tree(branches -- body.keys, Entry(new_markup, new Markup_Tree(body)))
    10.6            else {
    10.7 -            java.lang.System.err.println("Ignored overlapping markup information: " + new_markup +
    10.8 +            System.err.println("Ignored overlapping markup information: " + new_markup +
    10.9                body.filter(e => !new_range.contains(e._1)).mkString("\n"))
   10.10              this
   10.11            }
    11.1 --- a/src/Pure/PIDE/query_operation.scala	Thu Feb 20 14:17:28 2014 +0100
    11.2 +++ b/src/Pure/PIDE/query_operation.scala	Thu Feb 20 14:36:17 2014 +0100
    11.3 @@ -224,7 +224,7 @@
    11.4              case _ =>
    11.5            }
    11.6          case bad =>
    11.7 -          java.lang.System.err.println("Query_Operation: ignoring bad message " + bad)
    11.8 +          System.err.println("Query_Operation: ignoring bad message " + bad)
    11.9        }
   11.10      }
   11.11    }
    12.1 --- a/src/Pure/PIDE/xml.scala	Thu Feb 20 14:17:28 2014 +0100
    12.2 +++ b/src/Pure/PIDE/xml.scala	Thu Feb 20 14:36:17 2014 +0100
    12.3 @@ -7,6 +7,7 @@
    12.4  
    12.5  package isabelle
    12.6  
    12.7 +
    12.8  import java.util.WeakHashMap
    12.9  import java.lang.ref.WeakReference
   12.10  import javax.xml.parsers.DocumentBuilderFactory
    13.1 --- a/src/Pure/System/command_line.scala	Thu Feb 20 14:17:28 2014 +0100
    13.2 +++ b/src/Pure/System/command_line.scala	Thu Feb 20 14:36:17 2014 +0100
    13.3 @@ -30,7 +30,7 @@
    13.4        catch {
    13.5          case exn: Throwable =>
    13.6            if (debug) exn.printStackTrace
    13.7 -          java.lang.System.err.println(Exn.message(exn))
    13.8 +          System.err.println(Exn.message(exn))
    13.9            2
   13.10        }
   13.11      sys.exit(rc)
    14.1 --- a/src/Pure/System/event_bus.scala	Thu Feb 20 14:17:28 2014 +0100
    14.2 +++ b/src/Pure/System/event_bus.scala	Thu Feb 20 14:36:17 2014 +0100
    14.3 @@ -7,6 +7,7 @@
    14.4  
    14.5  package isabelle
    14.6  
    14.7 +
    14.8  import scala.actors.Actor, Actor._
    14.9  import scala.collection.mutable.ListBuffer
   14.10  
    15.1 --- a/src/Pure/System/isabelle_charset.scala	Thu Feb 20 14:17:28 2014 +0100
    15.2 +++ b/src/Pure/System/isabelle_charset.scala	Thu Feb 20 14:36:17 2014 +0100
    15.3 @@ -6,6 +6,7 @@
    15.4  
    15.5  package isabelle
    15.6  
    15.7 +
    15.8  import java.nio.Buffer
    15.9  import java.nio.{ByteBuffer, CharBuffer}
   15.10  import java.nio.charset.{Charset, CharsetDecoder, CharsetEncoder, CoderResult}
    16.1 --- a/src/Pure/System/isabelle_font.scala	Thu Feb 20 14:17:28 2014 +0100
    16.2 +++ b/src/Pure/System/isabelle_font.scala	Thu Feb 20 14:36:17 2014 +0100
    16.3 @@ -6,6 +6,7 @@
    16.4  
    16.5  package isabelle
    16.6  
    16.7 +
    16.8  import java.awt.{GraphicsEnvironment, Font}
    16.9  import java.io.{FileInputStream, BufferedInputStream}
   16.10  import javafx.scene.text.{Font => JFX_Font}
    17.1 --- a/src/Pure/System/isabelle_process.scala	Thu Feb 20 14:17:28 2014 +0100
    17.2 +++ b/src/Pure/System/isabelle_process.scala	Thu Feb 20 14:36:17 2014 +0100
    17.3 @@ -7,7 +7,7 @@
    17.4  
    17.5  package isabelle
    17.6  
    17.7 -import java.lang.System
    17.8 +
    17.9  import java.util.concurrent.LinkedBlockingQueue
   17.10  import java.io.{BufferedReader, BufferedWriter, InputStreamReader, OutputStreamWriter,
   17.11    InputStream, OutputStream, BufferedOutputStream, IOException}
    18.1 --- a/src/Pure/System/isabelle_system.scala	Thu Feb 20 14:17:28 2014 +0100
    18.2 +++ b/src/Pure/System/isabelle_system.scala	Thu Feb 20 14:36:17 2014 +0100
    18.3 @@ -7,7 +7,7 @@
    18.4  
    18.5  package isabelle
    18.6  
    18.7 -import java.lang.System
    18.8 +
    18.9  import java.util.regex.Pattern
   18.10  import java.io.{File => JFile, BufferedReader, InputStreamReader,
   18.11    BufferedWriter, OutputStreamWriter}
    19.1 --- a/src/Pure/System/options.scala	Thu Feb 20 14:17:28 2014 +0100
    19.2 +++ b/src/Pure/System/options.scala	Thu Feb 20 14:36:17 2014 +0100
    19.3 @@ -140,13 +140,13 @@
    19.4            val options = (Options.init() /: more_options)(_ + _)
    19.5  
    19.6            if (get_option != "")
    19.7 -            java.lang.System.out.println(options.check_name(get_option).value)
    19.8 +            System.out.println(options.check_name(get_option).value)
    19.9  
   19.10            if (export_file != "")
   19.11              File.write(Path.explode(export_file), YXML.string_of_body(options.encode))
   19.12  
   19.13            if (get_option == "" && export_file == "")
   19.14 -            java.lang.System.out.println(options.print)
   19.15 +            System.out.println(options.print)
   19.16  
   19.17            0
   19.18          case _ => error("Bad arguments:\n" + cat_lines(args))
    20.1 --- a/src/Pure/System/platform.scala	Thu Feb 20 14:17:28 2014 +0100
    20.2 +++ b/src/Pure/System/platform.scala	Thu Feb 20 14:36:17 2014 +0100
    20.3 @@ -7,7 +7,6 @@
    20.4  
    20.5  package isabelle
    20.6  
    20.7 -import java.lang.System
    20.8  
    20.9  import scala.util.matching.Regex
   20.10  
    21.1 --- a/src/Pure/System/session.scala	Thu Feb 20 14:17:28 2014 +0100
    21.2 +++ b/src/Pure/System/session.scala	Thu Feb 20 14:36:17 2014 +0100
    21.3 @@ -8,7 +8,6 @@
    21.4  package isabelle
    21.5  
    21.6  
    21.7 -import java.lang.System
    21.8  import java.util.{Timer, TimerTask}
    21.9  
   21.10  import scala.collection.mutable
    22.1 --- a/src/Pure/Thy/html.scala	Thu Feb 20 14:17:28 2014 +0100
    22.2 +++ b/src/Pure/Thy/html.scala	Thu Feb 20 14:36:17 2014 +0100
    22.3 @@ -7,6 +7,7 @@
    22.4  
    22.5  package isabelle
    22.6  
    22.7 +
    22.8  import scala.collection.mutable.ListBuffer
    22.9  
   22.10  
    23.1 --- a/src/Pure/Tools/build.scala	Thu Feb 20 14:17:28 2014 +0100
    23.2 +++ b/src/Pure/Tools/build.scala	Thu Feb 20 14:36:17 2014 +0100
    23.3 @@ -33,7 +33,7 @@
    23.4  
    23.5    class Console_Progress(verbose: Boolean) extends Progress
    23.6    {
    23.7 -    override def echo(msg: String) { java.lang.System.out.println(msg) }
    23.8 +    override def echo(msg: String) { System.out.println(msg) }
    23.9      override def theory(session: String, theory: String): Unit =
   23.10        if (verbose) echo(session + ": theory " + theory)
   23.11  
   23.12 @@ -744,7 +744,7 @@
   23.13  
   23.14        def ignore_error(msg: String): (List[Properties.T], Double) =
   23.15        {
   23.16 -        java.lang.System.err.println("### Ignoring bad log file: " + path +
   23.17 +        System.err.println("### Ignoring bad log file: " + path +
   23.18            (if (msg == "") "" else "\n" + msg))
   23.19          (Nil, 0.0)
   23.20        }
    24.1 --- a/src/Pure/Tools/keywords.scala	Thu Feb 20 14:17:28 2014 +0100
    24.2 +++ b/src/Pure/Tools/keywords.scala	Thu Feb 20 14:36:17 2014 +0100
    24.3 @@ -142,7 +142,7 @@
    24.4      }
    24.5  
    24.6      val file = if (name == "") "isar-keywords.el" else "isar-keywords-" + name + ".el"
    24.7 -    java.lang.System.err.println(file)
    24.8 +    System.err.println(file)
    24.9      File.write(Path.explode(file), output)
   24.10    }
   24.11  
    25.1 --- a/src/Pure/Tools/main.scala	Thu Feb 20 14:17:28 2014 +0100
    25.2 +++ b/src/Pure/Tools/main.scala	Thu Feb 20 14:36:17 2014 +0100
    25.3 @@ -7,7 +7,7 @@
    25.4  package isabelle
    25.5  
    25.6  
    25.7 -import java.lang.{System, Class, ClassLoader}
    25.8 +import java.lang.{Class, ClassLoader}
    25.9  import java.io.{File => JFile, BufferedReader, InputStreamReader}
   25.10  import java.nio.file.Files
   25.11  
    26.1 --- a/src/Tools/Graphview/src/graph_panel.scala	Thu Feb 20 14:17:28 2014 +0100
    26.2 +++ b/src/Tools/Graphview/src/graph_panel.scala	Thu Feb 20 14:36:17 2014 +0100
    26.3 @@ -6,6 +6,7 @@
    26.4  
    26.5  package isabelle.graphview
    26.6  
    26.7 +
    26.8  import isabelle._
    26.9  
   26.10  import java.awt.{Dimension, Graphics2D, Point, Rectangle}
    27.1 --- a/src/Tools/Graphview/src/model.scala	Thu Feb 20 14:17:28 2014 +0100
    27.2 +++ b/src/Tools/Graphview/src/model.scala	Thu Feb 20 14:36:17 2014 +0100
    27.3 @@ -9,6 +9,7 @@
    27.4  
    27.5  import isabelle._
    27.6  import isabelle.graphview.Mutators._
    27.7 +
    27.8  import java.awt.Color
    27.9  
   27.10  
    28.1 --- a/src/Tools/Graphview/src/mutator_dialog.scala	Thu Feb 20 14:17:28 2014 +0100
    28.2 +++ b/src/Tools/Graphview/src/mutator_dialog.scala	Thu Feb 20 14:36:17 2014 +0100
    28.3 @@ -6,6 +6,7 @@
    28.4  
    28.5  package isabelle.graphview
    28.6  
    28.7 +
    28.8  import isabelle._
    28.9  
   28.10  import java.awt.Color
    29.1 --- a/src/Tools/Graphview/src/popups.scala	Thu Feb 20 14:17:28 2014 +0100
    29.2 +++ b/src/Tools/Graphview/src/popups.scala	Thu Feb 20 14:36:17 2014 +0100
    29.3 @@ -9,6 +9,7 @@
    29.4  
    29.5  import isabelle._
    29.6  import isabelle.graphview.Mutators._
    29.7 +
    29.8  import javax.swing.JPopupMenu
    29.9  import scala.swing.{Action, Menu, MenuItem, Separator}
   29.10  
    30.1 --- a/src/Tools/Graphview/src/visualizer.scala	Thu Feb 20 14:17:28 2014 +0100
    30.2 +++ b/src/Tools/Graphview/src/visualizer.scala	Thu Feb 20 14:36:17 2014 +0100
    30.3 @@ -9,7 +9,6 @@
    30.4  
    30.5  import isabelle._
    30.6  
    30.7 -
    30.8  import java.awt.{Font, FontMetrics, Color => JColor, Shape, RenderingHints, Graphics2D}
    30.9  import java.awt.image.BufferedImage
   30.10  import javax.swing.JComponent
    31.1 --- a/src/Tools/jEdit/src/document_view.scala	Thu Feb 20 14:17:28 2014 +0100
    31.2 +++ b/src/Tools/jEdit/src/document_view.scala	Thu Feb 20 14:36:17 2014 +0100
    31.3 @@ -243,7 +243,7 @@
    31.4            }
    31.5  
    31.6          case bad =>
    31.7 -          java.lang.System.err.println("command_change_actor: ignoring bad message " + bad)
    31.8 +          System.err.println("command_change_actor: ignoring bad message " + bad)
    31.9        }
   31.10      }
   31.11    }
    32.1 --- a/src/Tools/jEdit/src/find_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
    32.2 +++ b/src/Tools/jEdit/src/find_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
    32.3 @@ -77,7 +77,7 @@
    32.4            Swing_Thread.later { handle_resize() }
    32.5  
    32.6          case bad =>
    32.7 -          java.lang.System.err.println("Find_Dockable: ignoring bad message " + bad)
    32.8 +          System.err.println("Find_Dockable: ignoring bad message " + bad)
    32.9        }
   32.10      }
   32.11    }
    33.1 --- a/src/Tools/jEdit/src/info_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
    33.2 +++ b/src/Tools/jEdit/src/info_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
    33.3 @@ -14,7 +14,6 @@
    33.4  import scala.swing.Button
    33.5  import scala.swing.event.ButtonClicked
    33.6  
    33.7 -import java.lang.System
    33.8  import java.awt.BorderLayout
    33.9  import java.awt.event.{ComponentEvent, ComponentAdapter, WindowFocusListener, WindowEvent}
   33.10  
    34.1 --- a/src/Tools/jEdit/src/monitor_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
    34.2 +++ b/src/Tools/jEdit/src/monitor_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
    34.3 @@ -46,7 +46,7 @@
    34.4              delay_update.invoke()
    34.5            }
    34.6  
    34.7 -        case bad => java.lang.System.err.println("Monitor_Dockable: ignoring bad message " + bad)
    34.8 +        case bad => System.err.println("Monitor_Dockable: ignoring bad message " + bad)
    34.9        }
   34.10      }
   34.11    }
    35.1 --- a/src/Tools/jEdit/src/output_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
    35.2 +++ b/src/Tools/jEdit/src/output_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
    35.3 @@ -14,7 +14,6 @@
    35.4  import scala.swing.{Button, CheckBox}
    35.5  import scala.swing.event.ButtonClicked
    35.6  
    35.7 -import java.lang.System
    35.8  import java.awt.BorderLayout
    35.9  import java.awt.event.{ComponentEvent, ComponentAdapter}
   35.10  
    36.1 --- a/src/Tools/jEdit/src/plugin.scala	Thu Feb 20 14:17:28 2014 +0100
    36.2 +++ b/src/Tools/jEdit/src/plugin.scala	Thu Feb 20 14:36:17 2014 +0100
    36.3 @@ -233,7 +233,7 @@
    36.4  
    36.5              case _ =>
    36.6            }
    36.7 -        case bad => java.lang.System.err.println("session_manager: ignoring bad message " + bad)
    36.8 +        case bad => System.err.println("session_manager: ignoring bad message " + bad)
    36.9        }
   36.10      }
   36.11    }
    37.1 --- a/src/Tools/jEdit/src/protocol_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
    37.2 +++ b/src/Tools/jEdit/src/protocol_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
    37.3 @@ -9,8 +9,6 @@
    37.4  
    37.5  import isabelle._
    37.6  
    37.7 -import java.lang.System
    37.8 -
    37.9  import scala.actors.Actor._
   37.10  import scala.swing.{TextArea, ScrollPane}
   37.11  
    38.1 --- a/src/Tools/jEdit/src/raw_output_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
    38.2 +++ b/src/Tools/jEdit/src/raw_output_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
    38.3 @@ -9,8 +9,6 @@
    38.4  
    38.5  import isabelle._
    38.6  
    38.7 -import java.lang.System
    38.8 -
    38.9  import scala.actors.Actor._
   38.10  import scala.swing.{TextArea, ScrollPane}
   38.11  
    39.1 --- a/src/Tools/jEdit/src/scala_console.scala	Thu Feb 20 14:17:28 2014 +0100
    39.2 +++ b/src/Tools/jEdit/src/scala_console.scala	Thu Feb 20 14:36:17 2014 +0100
    39.3 @@ -14,7 +14,6 @@
    39.4  import org.gjt.sp.jedit.{jEdit, JARClassLoader}
    39.5  import org.gjt.sp.jedit.MiscUtilities
    39.6  
    39.7 -import java.lang.System
    39.8  import java.io.{File => JFile, FileFilter, OutputStream, Writer, PrintWriter}
    39.9  
   39.10  import scala.tools.nsc.{GenericRunnerSettings, NewLinePrintWriter, ConsoleWriter}
    40.1 --- a/src/Tools/jEdit/src/sledgehammer_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
    40.2 +++ b/src/Tools/jEdit/src/sledgehammer_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
    40.3 @@ -104,7 +104,7 @@
    40.4            Swing_Thread.later { update_provers() }
    40.5  
    40.6          case bad =>
    40.7 -          java.lang.System.err.println("Sledgehammer_Dockable: ignoring bad message " + bad)
    40.8 +          System.err.println("Sledgehammer_Dockable: ignoring bad message " + bad)
    40.9        }
   40.10      }
   40.11    }
    41.1 --- a/src/Tools/jEdit/src/syslog_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
    41.2 +++ b/src/Tools/jEdit/src/syslog_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
    41.3 @@ -40,7 +40,7 @@
    41.4          case output: Isabelle_Process.Output =>
    41.5            if (output.is_syslog) Swing_Thread.later { update_syslog() }
    41.6  
    41.7 -        case bad => java.lang.System.err.println("Syslog_Dockable: ignoring bad message " + bad)
    41.8 +        case bad => System.err.println("Syslog_Dockable: ignoring bad message " + bad)
    41.9        }
   41.10      }
   41.11    }
    42.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
    42.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
    42.3 @@ -14,7 +14,6 @@
    42.4    ScrollPane, Component, CheckBox, BorderPanel}
    42.5  import scala.swing.event.{MouseClicked, MouseMoved}
    42.6  
    42.7 -import java.lang.System
    42.8  import java.awt.{BorderLayout, Graphics2D, Color, Point, Dimension}
    42.9  import javax.swing.{JList, BorderFactory}
   42.10  import javax.swing.border.{BevelBorder, SoftBevelBorder}
    43.1 --- a/src/Tools/jEdit/src/timing_dockable.scala	Thu Feb 20 14:17:28 2014 +0100
    43.2 +++ b/src/Tools/jEdit/src/timing_dockable.scala	Thu Feb 20 14:36:17 2014 +0100
    43.3 @@ -13,7 +13,6 @@
    43.4  import scala.swing.{Label, ListView, Alignment, ScrollPane, Component, TextField}
    43.5  import scala.swing.event.{MouseClicked, ValueChanged}
    43.6  
    43.7 -import java.lang.System
    43.8  import java.awt.{BorderLayout, Graphics2D, Insets, Color}
    43.9  import javax.swing.{JList, BorderFactory}
   43.10  import javax.swing.border.{BevelBorder, SoftBevelBorder}