public void setVersion(InetAddress address, int version) { Integer old = versions.put(address, version); EndpointState state = endpointStateMap_.get(address); if (state == null) addSavedEndpoint(address); }