src/Pure/System/options.scala

       args.toList match {
         case get_option :: export_file :: more_options =>
           val options = (Options.init() /: more_options)(_ + _)
 
           if (get_option != "")
-            java.lang.System.out.println(options.check_name(get_option).value)
+            System.out.println(options.check_name(get_option).value)
 
           if (export_file != "")
             File.write(Path.explode(export_file), YXML.string_of_body(options.encode))
 
           if (get_option == "" && export_file == "")
-            java.lang.System.out.println(options.print)
+            System.out.println(options.print)
 
           0
         case _ => error("Bad arguments:\n" + cat_lines(args))
       }
     }