catch(REException re)
catch(Exception e)
	public void replace(View view)	{		try		{			RE regexp = jEdit.getRE();			String replaceStr = jEdit.getProperty("search.replace.value");			if(regexp == null)			{				view.getToolkit().beep();				return;			}			SyntaxTextArea textArea = view.getTextArea();			String selection = textArea.getSelectedText();			if(selection == null)				selection = "";			textArea.replaceSelection(regexp.substitute(selection,				replaceStr));		}		catch(REException re)		{			Object[] args = { re.getMessage() };			jEdit.error(view,"reerror",args);		}	}