note
	description: "[
				Effective class for APPLICATION_LAUNCHER_I

				You can put modification in this class
			]"
	date: "$Date$"
	revision: "$Revision$"

class
	APPLICATION_LAUNCHER [G -> WSF_EXECUTION create make end]

inherit
	APPLICATION_LAUNCHER_I [G]

feature -- Custom

end