more tolerant treatment of end-of-buffer -- avoid debatable situations of jEdit buffer boundaries;
more tolerant treatment of end-of-buffer -- avoid debatable situations of jEdit buffer boundaries;

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