further robustification wrt. unclear ranges;

--- a/src/Tools/jEdit/src/jedit_lib.scala	Thu Apr 24 14:51:41 2014 +0200
+++ b/src/Tools/jEdit/src/jedit_lib.scala	Thu Apr 24 14:59:46 2014 +0200
@@ -215,9 +215,12 @@
     val buffer = text_area.getBuffer
     buffer_range(buffer).try_restrict(range) match {
       case Some(range1) if !range1.is_singularity =>
-        text_area.invalidateLineRange(
-          buffer.getLineOfOffset(range1.start),
-          buffer.getLineOfOffset(range1.stop))
+        try {
+          text_area.invalidateLineRange(
+            buffer.getLineOfOffset(range1.start),
+            buffer.getLineOfOffset(range1.stop))
+        }
+        catch { case _: ArrayIndexOutOfBoundsException => }
       case _ =>
     }
   }