if (threshold == 0) {
if (threshold < 0) {
	public static int getImportNumberThreshold() {		IPreferenceStore prefs= JavaPlugin.getDefault().getPreferenceStore();		int threshold= prefs.getInt(PREF_ONDEMANDTHRESHOLD);		if (threshold == 0) {			threshold= Integer.MAX_VALUE;		}				return threshold;	}