Code cleaning

and use HTTP_DATE instead of duplicating code.

draft/application/cms/example/src/web_cms.e

@@ -8,11 +8,6 @@ class
 	WEB_CMS
 
 inherit
---	CMS_SERVICE
---		redefine
---			modules
---		end
-
 	WSF_DEFAULT_SERVICE
 		redefine
 			initialize

draft/application/cms/src/cms_setup.e

@@ -7,13 +7,6 @@ note
 deferred class
 	CMS_SETUP
 
-feature -- Initialization
-
-	initialize_storage (a_cms: CMS_SERVICE)
-		do
-
-		end
-
 feature -- Access
 
 	configuration: detachable CMS_CONFIGURATION

draft/application/cms/src/notification/cms_email.e

@@ -84,8 +84,11 @@ feature {NONE} -- Implementation
 
 	date_to_rfc1123_http_date_format (dt: DATE_TIME): STRING_8
 			-- String representation of `dt' using the RFC 1123
+		local
+			d: HTTP_DATE
 		do
-			Result := dt.formatted_out ("ddd,[0]dd mmm yyyy [0]hh:[0]mi:[0]ss.ff2") + " GMT"
+			create d.make_from_date_time (dt)
+			Result := d.rfc1123_string
 		end
 
 invariant