if (i >= 0 && i < pattern.length())
if (i >= 0)
	private static void refreshPackageNamePattern() {		String pattern= AppearancePreferencePage.getPkgNamePatternForPackagesView();		if (pattern.equals(fgPkgNamePattern))			return;		else if (pattern.equals("")) { //$NON-NLS-1$			fgPkgNameLength= -1;			return;		}		fgPkgNamePattern= pattern;		int i= 0;		fgPkgNameChars= 0;		fgPkgNamePrefix= ""; //$NON-NLS-1$		fgPkgNamePostfix= ""; //$NON-NLS-1$		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);				fgPkgNameLength= fgPkgNamePrefix.length() + fgPkgNameChars + fgPkgNamePostfix.length();									return;			}			i++;		}		fgPkgNamePrefix= pattern;		fgPkgNameLength= pattern.length();	}