renamed HTTP_HEADER_BUILDER as HTTP_HEADER_MODIFIER

Author: jocelyn

library/network/protocol/http/src/http_header.e

@@ -25,7 +25,7 @@ class
 inherit
 	ITERABLE [READABLE_STRING_8]
 
-	HTTP_HEADER_BUILDER
+	HTTP_HEADER_MODIFIER
 
 create
 	make,

library/network/protocol/http/src/http_header_builder.e renamed to library/network/protocol/http/src/http_header_modifier.e

@@ -1,6 +1,6 @@
 note
 	description: "[
-			The class provides an easy way to build HTTP header text
+			The class provides an easy way to build and modify HTTP header text
 			thanks to add_header (..) and put_header (..)
 			
 			You will also find some helper features to help coding most common usages
@@ -20,7 +20,7 @@ note
 	revision: "$Revision$"
 
 deferred class
-	HTTP_HEADER_BUILDER
+	HTTP_HEADER_MODIFIER
 
 inherit
 	ITERABLE [READABLE_STRING_8]

library/server/wsf/src/wsf_response.e

@@ -172,7 +172,7 @@ feature {WSF_RESPONSE_EXPORTER} -- Header output operation
 
 feature -- Header access
 
-	header: HTTP_HEADER_BUILDER
+	header: HTTP_HEADER_MODIFIER
 			-- Associated header builder interface.
 		local
 			res: like internal_response_header

library/server/wsf/src/wsf_response_header.e

@@ -9,7 +9,7 @@ class
 	WSF_RESPONSE_HEADER
 
 inherit
-	HTTP_HEADER_BUILDER
+	HTTP_HEADER_MODIFIER
 
 	WSF_RESPONSE_EXPORTER -- to access WSF_RESPONSE.internal_header