protected void setMatcherString(String pattern) {
protected void setMatcherString(String pattern, boolean update) {
	protected void setMatcherString(String pattern) {		if (pattern.length() == 0) {			fStringMatcher= null;		} else {			boolean ignoreCase= pattern.toLowerCase().equals(pattern);			fStringMatcher= new StringMatcher(pattern, ignoreCase, false);		}		stringMatcherUpdated();	}