src/Pure/System/isabelle_process.scala

 class Isabelle_Process private(
     receiver: Prover.Message => Unit,
     system_channel: System_Channel,
     system_process: Prover.System_Process)
   extends Prover(receiver, system_channel, system_process)
-  {
-    def encode(s: String): String = Symbol.encode(s)
-    def decode(s: String): String = Symbol.decode(s)
-  }
-
+{
+  def encode(s: String): String = Symbol.encode(s)
+  def decode(s: String): String = Symbol.decode(s)
+}