diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000000..9ab13d0938
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1,2 @@
+EIFGEN*
+*.swp
diff --git a/library/gobo-core-confident.ecf b/library/gobo-core-confident.ecf
new file mode 100644
index 0000000000..4b9ebe4594
--- /dev/null
+++ b/library/gobo-core-confident.ecf
@@ -0,0 +1,38 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-10-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-10-0 http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd" name="gobo-core" uuid="C8E29BA5-FA2D-4088-A05B-82AFF31B8E3B" library_target="gobo-core">
+	<target name="gobo-core">
+		<root all_classes="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" syntax="transitional">
+			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+		</option>
+		<setting name="console_application" value="true"/>
+		<library name="base" location="$ISE_LIBRARY/library/base/base-safe.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+		<library name="gobo-kernel-safe" location="$GOBO\library\kernel\library-safe.ecf"/>
+		<library name="gobo-pattern-safe" location="$GOBO\library\pattern\gobo-pattern-safe.ecf"/>
+		<library name="gobo-structure-confident" location="$GOBO\library\structure\gobo-structure-confident.ecf"/>
+		<library name="gobo-time-confident" location="$GOBO\library\time\gobo-time-confident.ecf"/>
+		<library name="gobo-math-safe" location="$GOBO\library\math\gobo-math-safe.ecf"/>
+		<cluster name="gobo-core" location=".\" recursive="false">
+			<file_rule>
+				<exclude>/EIFGENs$</exclude>
+				<exclude>/CVS$</exclude>
+				<exclude>/.svn$</exclude>
+			</file_rule>
+			<cluster name="gobo-parse" location="$GOBO\library\parse\" recursive="true"/>
+			<cluster name="gobo-string" location="$GOBO\library\string\" recursive="true"/>
+			<cluster name="gobo-utility" location="$GOBO\library\utility\" recursive="true"/>
+			<cluster name="gobo-lexical" location="$GOBO\library\lexical\" recursive="true"/>
+			<cluster name="gobo-regexp" location="$GOBO\library\regexp\" recursive="true"/>
+			<cluster name="gobo-argument" location="$GOBO\library\argument\" recursive="true"/>
+		</cluster>
+	</target>
+</system>
diff --git a/library/gobo-core.ecf b/library/gobo-core.ecf
new file mode 100644
index 0000000000..345515f58b
--- /dev/null
+++ b/library/gobo-core.ecf
@@ -0,0 +1,38 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-10-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-10-0 http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd" name="gobo-core" uuid="C8E29BA5-FA2D-4088-A05B-82AFF31B8E3B" library_target="gobo-core">
+	<target name="gobo-core">
+		<root all_classes="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" syntax="transitional">
+			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+		</option>
+		<setting name="console_application" value="true"/>
+		<library name="base" location="$ISE_LIBRARY/library/base/base.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+		<library name="gobo-kernel" location="$GOBO\library\kernel\library.ecf"/>
+		<library name="gobo-pattern" location="$GOBO\library\pattern\gobo-pattern.ecf"/>
+		<library name="gobo-structure" location="$GOBO\library\structure\gobo-structure.ecf"/>
+		<library name="gobo-time" location="$GOBO\library\time\gobo-time.ecf"/>
+		<library name="gobo-math" location="$GOBO\library\math\gobo-math.ecf"/>
+		<cluster name="gobo-core" location=".\" recursive="false">
+			<file_rule>
+				<exclude>/EIFGENs$</exclude>
+				<exclude>/CVS$</exclude>
+				<exclude>/.svn$</exclude>
+			</file_rule>
+			<cluster name="gobo-parse" location="$GOBO\library\parse\" recursive="true"/>
+			<cluster name="gobo-string" location="$GOBO\library\string\" recursive="true"/>
+			<cluster name="gobo-utility" location="$GOBO\library\utility\" recursive="true"/>
+			<cluster name="gobo-lexical" location="$GOBO\library\lexical\" recursive="true"/>
+			<cluster name="gobo-regexp" location="$GOBO\library\regexp\" recursive="true"/>
+			<cluster name="gobo-argument" location="$GOBO\library\argument\" recursive="true"/>
+		</cluster>
+	</target>
+</system>
diff --git a/library/kernel/library-safe.ecf b/library/kernel/library-safe.ecf
new file mode 100644
index 0000000000..f8ac45beda
--- /dev/null
+++ b/library/kernel/library-safe.ecf
@@ -0,0 +1,63 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system 
+	xmlns="http://www.eiffel.com/developers/xml/configuration-1-9-0"
+	xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" 
+	xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-9-0 http://www.eiffel.com/developers/xml/configuration-1-9-0.xsd"
+	name="kernel"
+	uuid="6D7FF712-BBA5-4AC0-AABF-2D9880493A23"
+	library_target="kernel">
+
+	<description>
+		description: "ECF file for the Gobo Eiffel Kernel Library"
+		library: "Gobo Eiffel Kernel Library"
+		copyright: "Copyright (c) 2001-2012, Eric Bezault and others"
+		license: "MIT License"
+	</description>
+
+	<target name="kernel">
+		<root all_classes="true"/>
+		<file_rule>
+			<exclude>/\.svn$</exclude>
+			<exclude>/\.git$</exclude>
+		</file_rule>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" is_void_safe="true"/>
+
+		<library name="base" location="$ISE_LIBRARY/library/base/base-safe.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+
+		<library name="time" location="$ISE_LIBRARY/library/time/time-safe.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+
+		<assembly name="eiffelsoftware_runtime" location="$ISE_EIFFEL\studio\spec\$ISE_PLATFORM\lib\EiffelSoftware.Runtime.dll"/>
+		<assembly name="mscorlib" location="$ISE_DOTNET_FRAMEWORK\mscorlib.dll"/>
+		<assembly name="system_" location="$ISE_DOTNET_FRAMEWORK\System.dll" prefix="SYSTEM_DLL_"/>
+		<assembly name="system_xml" location="$ISE_DOTNET_FRAMEWORK\System.Xml.dll" prefix="XML_"/>
+
+		<cluster name="kernel" location="./" recursive="true">
+			<file_rule>
+				<exclude>/ge$</exclude>
+				<condition>
+					<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+				</condition>
+			</file_rule>
+			<file_rule>
+				<exclude>/ise$</exclude>
+				<condition>
+					<custom name="GOBO_EIFFEL" value="ge"/>
+				</condition>
+			</file_rule>
+		</cluster>
+	</target>
+</system>
diff --git a/library/kernel/library.ecf b/library/kernel/library.ecf
index 18e0342b9c..9e609fd3a2 100644
--- a/library/kernel/library.ecf
+++ b/library/kernel/library.ecf
@@ -20,15 +20,15 @@
 			<exclude>/\.svn$</exclude>
 			<exclude>/\.git$</exclude>
 		</file_rule>
-		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" is_void_safe="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="none"/>
 
-		<library name="base" location="$ISE_LIBRARY/library/base/base-safe.ecf" readonly="true">
+		<library name="base" location="$ISE_LIBRARY/library/base/base.ecf" readonly="true">
 			<condition>
 				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
 			</condition>
 		</library>
 
-		<library name="time" location="$ISE_LIBRARY/library/time/time-safe.ecf" readonly="true">
+		<library name="time" location="$ISE_LIBRARY/library/time/time.ecf" readonly="true">
 			<condition>
 				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
 			</condition>
@@ -60,4 +60,4 @@
 			</file_rule>
 		</cluster>
 	</target>
-</system>
\ No newline at end of file
+</system>
diff --git a/library/math/gobo-math-safe.ecf b/library/math/gobo-math-safe.ecf
new file mode 100644
index 0000000000..94f969480a
--- /dev/null
+++ b/library/math/gobo-math-safe.ecf
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-10-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-10-0 http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd" name="gobo-math" uuid="95784FE0-7B83-497E-BEC0-9F0C4F3035F2" library_target="gobo-math">
+	<target name="gobo-math">
+		<root all_classes="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="transitional">
+			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+		</option>
+		<setting name="console_application" value="true"/>
+		<library name="base" location="$ISE_LIBRARY/library/base/base-safe.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+		<library name="gobo-kernel-safe" location="$GOBO\library\kernel\library-safe.ecf"/>
+		<cluster name="gobo-math" location="$GOBO\library\math\decimal\" recursive="true">
+			<file_rule>
+				<exclude>/EIFGENs$</exclude>
+				<exclude>/CVS$</exclude>
+				<exclude>/.svn$</exclude>
+			</file_rule>
+		</cluster>
+	</target>
+</system>
diff --git a/library/math/gobo-math.ecf b/library/math/gobo-math.ecf
new file mode 100644
index 0000000000..436b7405b5
--- /dev/null
+++ b/library/math/gobo-math.ecf
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-10-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-10-0 http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd" name="gobo-math" uuid="95784FE0-7B83-497E-BEC0-9F0C4F3035F2" library_target="gobo-math">
+	<target name="gobo-math">
+		<root all_classes="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="none" syntax="transitional">
+			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+		</option>
+		<setting name="console_application" value="true"/>
+		<library name="base" location="$ISE_LIBRARY/library/base/base.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+		<library name="gobo-kernel-safe" location="$GOBO\library\kernel\library.ecf"/>
+		<cluster name="gobo-math" location="$GOBO\library\math\decimal\" recursive="true">
+			<file_rule>
+				<exclude>/EIFGENs$</exclude>
+				<exclude>/CVS$</exclude>
+				<exclude>/.svn$</exclude>
+			</file_rule>
+		</cluster>
+	</target>
+</system>
diff --git a/library/math/library-confident.xace b/library/math/library-confident.xace
new file mode 100644
index 0000000000..f6dcbfe873
--- /dev/null
+++ b/library/math/library-confident.xace
@@ -0,0 +1,22 @@
+<?xml version="1.0"?>
+
+<library name="math"  prefix="ma_">
+	<description>
+		description: "Xace file for the Gobo Eiffel Math Library"
+		library: "Gobo Eiffel Math Library"
+		copyright: "Copyright (c) 2004-2005, Eric Bezault and others"
+		license: "MIT License"
+		date: "$Date$"
+		revision: "$Revision$"
+	</description>
+
+	<cluster name="math" location="${GOBO}/library/math">
+		
+		<option name="full_class_checking" value="true" if="${VOIDCONFIDENT}=true"/>
+		<option name="void_safety" value="full" if="${VOIDCONFIDENT}=true"/>
+		<option name="attached_by_default" value="true" if="${VOIDCONFIDENT}=true"/>
+
+		<option name="abstract" value="true"/>
+		<cluster name="decimal"/>
+	</cluster>
+</library>
diff --git a/library/pattern/gobo-pattern-safe.ecf b/library/pattern/gobo-pattern-safe.ecf
new file mode 100644
index 0000000000..55b4685888
--- /dev/null
+++ b/library/pattern/gobo-pattern-safe.ecf
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-10-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-10-0 http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd" name="gobo-pattern" uuid="9DD3EC52-EF03-4C63-A5C5-4D07AE7B28ED" library_target="gobo-pattern">
+	<target name="gobo-pattern">
+		<root all_classes="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="all" syntax="transitional">
+			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+		</option>
+		<setting name="console_application" value="true"/>
+		<library name="base" location="$ISE_LIBRARY/library/base/base-safe.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+		<library name="gobo-kernel" location="$GOBO\library\kernel\library.ecf"/>
+		<cluster name="gobo-pattern" location="$GOBO\library\pattern\" recursive="true">
+			<file_rule>
+				<exclude>/EIFGENs$</exclude>
+				<exclude>/CVS$</exclude>
+				<exclude>/.svn$</exclude>
+			</file_rule>
+		</cluster>
+	</target>
+</system>
diff --git a/library/pattern/gobo-pattern.ecf b/library/pattern/gobo-pattern.ecf
new file mode 100644
index 0000000000..10a4c88c33
--- /dev/null
+++ b/library/pattern/gobo-pattern.ecf
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-10-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-10-0 http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd" name="gobo-pattern" uuid="9DD3EC52-EF03-4C63-A5C5-4D07AE7B28ED" library_target="gobo-pattern">
+	<target name="gobo-pattern">
+		<root all_classes="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" syntax="transitional">
+			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+		</option>
+		<setting name="console_application" value="true"/>
+		<library name="base" location="$ISE_LIBRARY/library/base/base-safe.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+		<library name="gobo-kernel" location="$GOBO\library\kernel\library.ecf"/>
+		<cluster name="gobo-pattern" location="$GOBO\library\pattern\" recursive="true">
+			<file_rule>
+				<exclude>/EIFGENs$</exclude>
+				<exclude>/CVS$</exclude>
+				<exclude>/.svn$</exclude>
+			</file_rule>
+		</cluster>
+	</target>
+</system>
diff --git a/library/structure/gobo-structure-confident.ecf b/library/structure/gobo-structure-confident.ecf
new file mode 100644
index 0000000000..73fbb96c47
--- /dev/null
+++ b/library/structure/gobo-structure-confident.ecf
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-10-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-10-0 http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd" name="gobo-structure" uuid="FC2A0909-3E1E-4B99-9D49-0CE0E304D38E" library_target="gobo-structure">
+	<target name="gobo-structure">
+		<root all_classes="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="none" syntax="standard">
+			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+		</option>
+		<setting name="console_application" value="true"/>
+		<library name="base" location="$ISE_LIBRARY/library/base/base-safe.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+		<library name="gobo-kernel-safe" location="$GOBO\library\kernel\library.ecf"/>
+		<cluster name="gobo-structure" location="$GOBO\library\structure\" recursive="true">
+			<file_rule>
+				<exclude>/EIFGENs$</exclude>
+				<exclude>/CVS$</exclude>
+				<exclude>/.svn$</exclude>
+			</file_rule>
+		</cluster>
+	</target>
+</system>
diff --git a/library/structure/gobo-structure.ecf b/library/structure/gobo-structure.ecf
new file mode 100644
index 0000000000..b17f12f6ca
--- /dev/null
+++ b/library/structure/gobo-structure.ecf
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-10-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-10-0 http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd" name="gobo-structure" uuid="FC2A0909-3E1E-4B99-9D49-0CE0E304D38E" library_target="gobo-structure">
+	<target name="gobo-structure">
+		<root all_classes="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="none" syntax="standard">
+			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+		</option>
+		<setting name="console_application" value="true"/>
+		<library name="base" location="$ISE_LIBRARY/library/base/base.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+		<library name="gobo-kernel-safe" location="$GOBO\library\kernel\library.ecf"/>
+		<cluster name="gobo-structure" location="$GOBO\library\structure\" recursive="true">
+			<file_rule>
+				<exclude>/EIFGENs$</exclude>
+				<exclude>/CVS$</exclude>
+				<exclude>/.svn$</exclude>
+			</file_rule>
+		</cluster>
+	</target>
+</system>
diff --git a/library/time/gobo-time-confident.ecf b/library/time/gobo-time-confident.ecf
new file mode 100644
index 0000000000..99304665ed
--- /dev/null
+++ b/library/time/gobo-time-confident.ecf
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-10-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-10-0 http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd" name="gobo-time" uuid="961563CB-E823-47C1-92EC-F8440D71D06D" library_target="gobo-time">
+	<target name="gobo-time">
+		<root all_classes="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="initialization" syntax="transitional">
+			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+		</option>
+		<setting name="console_application" value="true"/>
+		<library name="base" location="$ISE_LIBRARY/library/base/base-safe.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+		<library name="gobo-kernel-safe" location="$GOBO\library\kernel\library-safe.ecf"/>
+		<cluster name="gobo-time" location="$GOBO\library\time\" recursive="true">
+			<file_rule>
+				<exclude>/EIFGENs$</exclude>
+				<exclude>/CVS$</exclude>
+				<exclude>/.svn$</exclude>
+			</file_rule>
+		</cluster>
+	</target>
+</system>
diff --git a/library/time/gobo-time.ecf b/library/time/gobo-time.ecf
new file mode 100644
index 0000000000..0a8e8cf8d7
--- /dev/null
+++ b/library/time/gobo-time.ecf
@@ -0,0 +1,28 @@
+<?xml version="1.0" encoding="ISO-8859-1"?>
+<system xmlns="http://www.eiffel.com/developers/xml/configuration-1-10-0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.eiffel.com/developers/xml/configuration-1-10-0 http://www.eiffel.com/developers/xml/configuration-1-10-0.xsd" name="gobo-time" uuid="961563CB-E823-47C1-92EC-F8440D71D06D" library_target="gobo-time">
+	<target name="gobo-time">
+		<root all_classes="true"/>
+		<option warning="true" full_class_checking="true" is_attached_by_default="true" void_safety="none" syntax="transitional">
+			<assertions precondition="true" postcondition="true" check="true" invariant="true" loop="true" supplier_precondition="true"/>
+		</option>
+		<setting name="console_application" value="true"/>
+		<library name="base" location="$ISE_LIBRARY/library/base/base.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" excluded_value="ge"/>
+			</condition>
+		</library>
+		<library name="free_elks" location="$GOBO/library/free_elks/library.ecf" readonly="true">
+			<condition>
+				<custom name="GOBO_EIFFEL" value="ge"/>
+			</condition>
+		</library>
+		<library name="gobo-kernel-safe" location="$GOBO\library\kernel\library.ecf"/>
+		<cluster name="gobo-time" location="$GOBO\library\time\" recursive="true">
+			<file_rule>
+				<exclude>/EIFGENs$</exclude>
+				<exclude>/CVS$</exclude>
+				<exclude>/.svn$</exclude>
+			</file_rule>
+		</cluster>
+	</target>
+</system>