diff --git a/library/server/ewf_support/ewf_support-safe.ecf b/library/server/ewf_support/ewf_support-safe.ecf
deleted file mode 100644
index c31ae934..00000000
--- a/library/server/ewf_support/ewf_support-safe.ecf
+++ /dev/null
@@ -1,26 +0,0 @@
-<?xml version="1.0" encoding="ISO-8859-1"?>
-<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-11-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-11-0 http://www.eiffel.com/developers/xml/configuration-1-11-0.xsd" name="ewf_support" uuid="BDBAA858-2658-4169-A44A-0BB61E3B40E7" library_target="ewf_support">
-	<target name="ewf_support">
-		<root all_classes="true"/>
-		<file_rule>
-			<exclude>/.git$</exclude>
-			<exclude>/EIFGENs$</exclude>
-			<exclude>/.svn$</exclude>
-		</file_rule>
-		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="standard">
-		</option>
-		<library name="base" location="$ISE_LIBRARY\library\base\base-safe.ecf"/>
-		<cluster name="src" location=".\src\">
-			<cluster name="before_72" location="$|before_72\">
-				<condition>
-					<version type="compiler" max="7.1.9.9999"/>
-				</condition>
-			</cluster>
-			<cluster name="greater_or_72" location="$|greater_or_72\">
-				<condition>
-					<version type="compiler" min="7.2.0.0"/>
-				</condition>
-			</cluster>
-		</cluster>
-	</target>
-</system>
diff --git a/library/server/ewf_support/ewf_support.ecf b/library/server/ewf_support/ewf_support.ecf
deleted file mode 100644
index e95a3590..00000000
--- a/library/server/ewf_support/ewf_support.ecf
+++ /dev/null
@@ -1,26 +0,0 @@
-<?xml version="1.0" encoding="ISO-8859-1"?>
-<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-8-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-8-0 http://www.eiffel.com/developers/xml/configuration-1-8-0.xsd" name="ewf_support" uuid="BDBAA858-2658-4169-A44A-0BB61E3B40E7" library_target="ewf_support">
-	<target name="ewf_support">
-		<root all_classes="true"/>
-		<file_rule>
-			<exclude>/.git$</exclude>
-			<exclude>/EIFGENs$</exclude>
-			<exclude>/.svn$</exclude>
-		</file_rule>
-		<option warning="true" full_class_checking="true" void_safety="none" syntax="standard">
-		</option>
-		<library name="base" location="$ISE_LIBRARY/library/base/base.ecf"/>
-		<cluster name="src" location=".\src\" recursive="false">
-			<cluster name="before_72" location="$|before_72\">
-				<condition>
-					<version type="compiler" max="7.1.9.9999"/>
-				</condition>
-			</cluster>
-			<cluster name="greater_or_72" location="$|greater_or_72\">
-				<condition>
-					<version type="compiler" min="7.2.0.0"/>
-				</condition>
-			</cluster>
-		</cluster>
-	</target>
-</system>
diff --git a/library/server/ewf_support/src/before_72/shared_execution_environment.e b/library/server/ewf_support/src/before_72/shared_execution_environment.e
deleted file mode 100644
index 9c40c09d..00000000
--- a/library/server/ewf_support/src/before_72/shared_execution_environment.e
+++ /dev/null
@@ -1,49 +0,0 @@
-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
diff --git a/library/server/ewf_support/src/before_72/wsf_support.e b/library/server/ewf_support/src/before_72/wsf_support.e
deleted file mode 100644
index 8800bd7c..00000000
--- a/library/server/ewf_support/src/before_72/wsf_support.e
+++ /dev/null
@@ -1,36 +0,0 @@
-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
-
-	environment_item (a_name: READABLE_STRING_GENERAL): detachable STRING_32
-		do
-			if attached execution_environment.get (a_name.to_string_8) as v then
-				Result := v.to_string_32
-			end
-		end
-
-end
diff --git a/library/server/ewf_support/src/greater_or_72/wsf_support.e b/library/server/ewf_support/src/greater_or_72/wsf_support.e
deleted file mode 100644
index 559333dd..00000000
--- a/library/server/ewf_support/src/greater_or_72/wsf_support.e
+++ /dev/null
@@ -1,34 +0,0 @@
-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
-
-	environment_item (a_name: READABLE_STRING_GENERAL): detachable STRING_32
-		do
-			Result := execution_environment.item (a_name)
-		end
-
-end