state.setDynamicCacheChanged(false);
	public void saveStateDeprecated(StateImpl state, DataOutputStream output) throws IOException {		try {			writeStateDeprecated(state, output);		} finally {			output.close();		}	}