note
	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 $"

class
	APPLICATION_LAUNCHER

inherit
	APPLICATION_LAUNCHER_I

feature -- Custom

end