String str = re.substituteAll(text,replace); if(str.equals(text)) return null; else return str;
return re.substituteAll(text,replace);
	public String substitute(String text)	{		String str = re.substituteAll(text,replace);		if(str.equals(text)) // XXX slow			return null;		else			return str;	}