catch(REException re)
catch(Exception e)
	public boolean replaceAll(View view)	{		boolean found = false;		beginCompoundEdit();		try		{			RE regexp = jEdit.getRE();			String replaceStr = jEdit.getProperty("search.replace.value");			if(regexp == null)			{				endCompoundEdit();				return false;			}			REMatch match;			int index = 0;			while((match = regexp.getMatch(getText(index,				getLength() - index))) != null)			{				int start = match.getStartIndex() + index;				int len = match.getEndIndex() - match					.getStartIndex();				String str = getText(start,len);				remove(start,len);				String subst = regexp.substitute(str,replaceStr);				index = start + subst.length();				insertString(start,subst,null);				found = true;			}		}		catch(REException re)		{			Object[] _args = { re.getMessage() };			jEdit.error(view,"reerror",_args);		}		catch(BadLocationException bl)		{		}		endCompoundEdit();		return found;	}