note
	description: "Summary description for {WSF_PROGRESSSOURCE}."
	author: ""
	date: "$Date$"
	revision: "$Revision$"

deferred class
	WSF_PROGRESSSOURCE

feature

	progress: INTEGER
		deferred
		end

end