# Property file for default HTTP resource editing
class=org.w3c.jigadm.editors.ResourceEditor
helpers=org.w3c.jigadm.editors.UsersHelper
aggregateHelpers=false


