Support EiffelStudio 7.1 as this is the last stable release

Author: Olivier Ligot

.gitignore

@@ -1 +1,3 @@
 EIFGENs
+*.swp
+layout.db

README.md

@@ -5,7 +5,7 @@ Collection+JSON is a JSON-based read/write hypermedia-type designed to support m
 See http://www.amundsen.com/media-types/collection/
 
 Requirement:
-compile with EiffelStudio 7.2
+compile with EiffelStudio 7.1
 
 Try with
 http://employee.herokuapp.com

README_dev.md

@@ -1,5 +1,5 @@
 Requirement:
-compile with EiffelStudio 7.2
+compile with EiffelStudio 7.1
 
 -- Administration purpose
 git remote add -f ewf https://github.com/EiffelWebFramework/EWF.git

src/cj_client_window.e

@@ -72,7 +72,7 @@ feature {NONE} -- Initialization
 
 			create dm.make (vb, Current)
 			docking_manager := dm
-			create f.make_with_name ("layout.db")
+			create f.make ("layout.db")
 			dm.close_editor_place_holder
 			dm.contents.extend (information_tool.sd_content)
 			dm.contents.extend (queries_tool.sd_content)
@@ -83,7 +83,7 @@ feature {NONE} -- Initialization
 
 			if
 				f.exists and then f.is_readable and then
-				dm.open_config_with_path (create {PATH}.make_from_string ("layout.db")) -- side effect !!!
+				dm.open_config ("layout.db") -- side effect !!!
 			then
 
 			else
@@ -121,7 +121,7 @@ feature -- Action
 	on_quit
 		do
 			if attached docking_manager as dm then
-				if dm.save_data_with_path (create {PATH}.make_from_string ("layout.db")) then
+				if dm.save_data ("layout.db") then
 				else
 					-- .. too bad
 				end
@@ -413,7 +413,7 @@ feature -- Explore
 			create e
 			if {PLATFORM}.is_windows then
 				create cmd.make_empty
-				if attached e.item ("ComSpec") as l_comspec then
+				if attached e.get ("ComSpec") as l_comspec then
 					cmd.append (l_comspec)
 					cmd.append_string_general (" /c ")
 				end

src/cj_header_tool.e

@@ -76,7 +76,7 @@ feature {NONE} -- Initialization
 				g.set_item (1, n, edit)
 				edit.pointer_button_release_actions.force_extend (agent edit.activate)
 			end
-			if a_name /= Void and then a_name.is_case_insensitive_equal ("Authorization") then
+			if a_name /= Void and then a_name.as_lower.is_equal ("authorization") then
 				create edit
 				g.set_item (2, n, edit)
 				edit.set_tooltip ("Click to edit. Right Click to add basic authorization ...")