added code that may be used to avoid breaking compatibility with new Eiffel Studio 7.2

This is experimental for now.

library/server/ewf_support/src/before_72/shared_execution_environment.e

@@ -0,0 +1,49 @@
+note
+	description: "Shared instance of execution environment."
+	legal: "See notice at end of class."
+	status: "See notice at end of class."
+	date: "$Date$"
+	revision: "$Revision$"
+class
+	SHARED_EXECUTION_ENVIRONMENT
+
+feature {NONE}
+
+	Execution_environment: EXECUTION_ENVIRONMENT
+		once
+			create Result
+		end
+
+note
+	copyright: "Copyright (c) 2012, Eiffel Software"
+	license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
+	licensing_options: "http://www.eiffel.com/licensing"
+	copying: "[
+		This file is part of Eiffel Software's Eiffel Development Environment.
+		
+		Eiffel Software's Eiffel Development Environment is free
+		software; you can redistribute it and/or modify it under
+		the terms of the GNU General Public License as published
+		by the Free Software Foundation, version 2 of the License
+		(available at the URL listed under "license" above).
+		
+		Eiffel Software's Eiffel Development Environment is
+		distributed in the hope that it will be useful, but
+		WITHOUT ANY WARRANTY; without even the implied warranty
+		of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+		See the GNU General Public License for more details.
+		
+		You should have received a copy of the GNU General Public
+		License along with Eiffel Software's Eiffel Development
+		Environment; if not, write to the Free Software Foundation,
+		Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
+	]"
+	source: "[
+		Eiffel Software
+		5949 Hollister Ave., Goleta, CA 93117 USA
+		Telephone 805-685-1006, Fax 805-685-6869
+		Website http://www.eiffel.com
+		Customer support http://support.eiffel.com
+	]"
+
+end

library/server/ewf_support/src/before_72/wsf_support.e

@@ -0,0 +1,29 @@
+note
+	description: "[
+				The WSF_SUPPORT class is meant to handle incompatibilities between version of libraries
+				And still allow to benefit from most recent improvements.
+
+				Unicode is an example
+			]"
+	date: "$Date$"
+	revision: "$Revision$"
+
+class
+	WSF_SUPPORT
+
+inherit
+	ANY
+
+	SHARED_EXECUTION_ENVIRONMENT
+		export
+			{NONE} all
+		end
+
+feature -- Access: environment
+
+	starting_environment: HASH_TABLE [READABLE_STRING_GENERAL, READABLE_STRING_GENERAL]
+		do
+			Result := execution_environment.starting_environment_variables
+		end
+
+end

library/server/ewf_support/src/greater_or_72/wsf_support.e

@@ -0,0 +1,29 @@
+note
+	description: "[
+				The WSF_SUPPORT class is meant to handle incompatibilities between version of libraries
+				And still allow to benefit from most recent improvements.
+				
+				Unicode is an example
+			]"
+	date: "$Date$"
+	revision: "$Revision$"
+
+class
+	WSF_SUPPORT
+
+inherit
+	ANY
+
+	SHARED_EXECUTION_ENVIRONMENT
+		export
+			{NONE} all
+		end
+
+feature -- Access: environment
+
+	starting_environment: HASH_TABLE [READABLE_STRING_GENERAL, READABLE_STRING_GENERAL]
+		do
+			Result := execution_environment.starting_environment
+		end
+
+end