Updated gewf source code to allow custom settings,

and in particular the location of the templates.
Fixed compilation of application launcher, and make it more flexible.

draft/src/gewf/template/basic/launcher/default/application_launcher.e

@@ -1,19 +1,18 @@
 note
-	description: "Summary description for {APPLICATION}."
-	author: ""
+	description: "[
+				Effective class for APPLICATION_LAUNCHER_I
+
+				You can put modification in this class
+			]"
 	date: "$Date: 2013-06-12 13:55:42 +0200 (mer., 12 juin 2013) $"
 	revision: "$Revision: 36 $"
 
-deferred class
+class
 	APPLICATION_LAUNCHER
 
-feature {NONE} -- Launcher
+inherit
+	APPLICATION_LAUNCHER_I
 
-	launch (a_service: WSF_SERVICE; opts: detachable WSF_SERVICE_LAUNCHER_OPTIONS)
-		local
-			launcher: WSF_SERVICE_LAUNCHER
-		do
-			create {WSF_DEFAULT_SERVICE_LAUNCHER} launcher.make_and_launch (a_service, opts)
-		end
+feature -- Custom
 
 end

draft/src/gewf/template/basic/launcher/default/application_launcher_i.e

@@ -0,0 +1,25 @@
+note
+	description: "[
+			Specific application launcher
+
+			DO NOT EDIT THIS CLASS
+
+			you can customize APPLICATION_LAUNCHER
+		]"
+	date: "$Date: 2013-06-12 13:55:42 +0200 (mer., 12 juin 2013) $"
+	revision: "$Revision: 36 $"
+
+deferred class
+	APPLICATION_LAUNCHER_I
+
+feature -- Execution
+
+	launch (a_service: WSF_SERVICE; opts: detachable WSF_SERVICE_LAUNCHER_OPTIONS)
+		local
+			launcher: WSF_SERVICE_LAUNCHER
+		do
+			create {WSF_DEFAULT_SERVICE_LAUNCHER} launcher.make_and_launch (a_service, opts)
+		end
+
+end
+