fPrefix = prefix; NLSSubstitution.setPrefix(prefix);
fPrefix= prefix; if (fSubstitutions != null) { for (int i= 0; i < fSubstitutions.length; i++) fSubstitutions[i].setPrefix(prefix); }
	public void setPrefix(String prefix) {		fPrefix = prefix;		NLSSubstitution.setPrefix(prefix);	}