Fixed problem with batch mode layout, which caused an AWT exception when no X11 connection was available.
Fixed problem with batch mode layout, which caused an AWT exception when
no X11 connection was available.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle