new isabelle.jedit_base.Isabelle_Encoding(); new isabelle.jedit_base.PIDE_Docking_Framework();