String replaceStr = jEdit.getProperty("search.replace.value");
String replaceStr = jEdit.getProperty("history.replace.0");
	public void replace(View view)	{		if(!view.getTextArea().isEditable())		{			view.getToolkit().beep();			return;		}		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(Exception e)		{			Object[] args = { e.getMessage() };			if(args[0] == null)				args[0] = e.toString();			jEdit.error(view,"reerror",args);		}	}