Made it compilable with 7.1

library/server/wsf/session/wsf_fs_session_manager.e

@@ -72,7 +72,7 @@ feature -- Persistence
 					if not f.exists or else f.is_writable then
 						f.create_read_write
 						a_session.data.set_expiration (a_session.expiration)
-						storage.store (a_session.data, create {SED_MEDIUM_READER_WRITER}.make_for_writing (f))
+						f.general_store (a_session.data)
 						f.close
 					end
 				end
@@ -106,11 +106,6 @@ feature -- Persistence
 
 feature {NONE} -- Implementation
 
-	storage: SED_STORABLE_FACILITIES
-		once
-			create Result
-		end
-
 	data_from_file (f: FILE): detachable like session_data
 		require
 			f.is_open_read and f.is_readable
@@ -119,7 +114,7 @@ feature {NONE} -- Implementation
 		do
 			if
 				not rescued and then
-				attached {like session_data} storage.retrieved (create {SED_MEDIUM_READER_WRITER}.make_for_reading (f), True) as d
+				attached {like session_data} f.retrieved as d
 			then
 				Result := d
 			end

library/server/wsf/src/wsf_request.e

@@ -429,9 +429,9 @@ feature -- Access: global variables
 				Result := item (a_name)
 			end
 			if Result = Void then
-				p := a_name.index_of ('[', 1)
+				p := a_name.index_of_code (91, 1) -- 91 '['
 				if p > 0 then
-					q := a_name.index_of (']', p + 1)
+					q := a_name.index_of_code (93, p + 1) -- 93 ']'
 					if q > p then
 						n := a_name.substring (1, p - 1)
 						k := a_name.substring (p + 1, q - 1)