if (stateLocation.isFile() && lastTimeStamp == systemState.getTimeStamp())
if (cachedState && lastTimeStamp == systemState.getTimeStamp())
	private void writeState(File stateLocation) throws IOException {		if (systemState == null)			return;		if (stateLocation.isFile() && lastTimeStamp == systemState.getTimeStamp())			return;		DataOutputStream output = new DataOutputStream(new BufferedOutputStream(new FileOutputStream(stateLocation)));		factory.writeState(systemState, output);	}