Adding header to the source code of the ServerUpdatesSubject class.