String prop = System.getProperty("eclipse.stateSaveDelayInterval");
String prop = FrameworkProperties.getProperty("eclipse.stateSaveDelayInterval");
		StateSaver() {			String prop = System.getProperty("eclipse.stateSaveDelayInterval"); //$NON-NLS-1$			if (prop != null) {				try {					long val = Long.parseLong(prop);					if (val >= 1000 && val <= 1800000) {						delay_interval = val;						max_total_delay_interval = val * 60;					}				} catch (NumberFormatException e) {					// ignore				}			}		}