# Property file for default resource editing
class=w3c.jigadm.editors.ResourceEditor
helpers=w3c.jigadm.editors.AttributesHelper
aggregateHelpers=true

