AssertionError error = new AssertionError("BadLocationException should not be " + "thrown here. start = " + start + ", end = " + end); error.initCause(e); throw error;
    private void dumpElement(PrintStream stream, String indent,                             Element element)    {      // FIXME: Should the method be removed?      System.out.println(indent + "<" + element.getName() +">");            if (element.isLeaf())	{	  int start = element.getStartOffset();	  int end = element.getEndOffset();	  String text = "";	  try	    {	      text = getContent().getString(start, end - start);	    }	  catch (BadLocationException e)	    {	    }	  System.out.println(indent + "  ["			     + start + ","			     + end + "]["			     + text + "]");	}      else	{	  for (int i = 0; i < element.getElementCount(); ++i)	    dumpElement(stream, indent + "  ", element.getElement(i));	}    }