# Property file for default HTTP resource editing
class=w3c.jigadm.editors.ResourceEditor
helpers=w3c.jigadm.editors.FiltersHelper|w3c.jigadm.editors.ShortcutHelper
aggregateHelpers=true
