fgPkgNameLength= pattern.length();
	private static void refreshPackageNamePattern() {		String pattern= WorkInProgressPreferencePage.getPkgNamePatternForPackagesView();		if (pattern.equals(fgPkgNamePattern))			return;		fgPkgNamePattern= pattern;		int i= 0;		fgPkgNameChars= 0;		fgPkgNamePrefix= "";		fgPkgNamePostfix= "";		while (i < pattern.length()) {			char ch= pattern.charAt(i);			if (Character.isDigit(ch)) {				fgPkgNameChars= ch-48;				if (i > 0 && i < pattern.length() - 1)					fgPkgNamePrefix= pattern.substring(0, i);				if (i >= 0 && i < pattern.length())					fgPkgNamePostfix= pattern.substring(i+1);				return;			}			i++;		}		fgPkgNamePrefix= pattern;	}