# Property file for realm catalog editing
class=w3c.jigadm.editors.ResourceEditor
helpers=w3c.jigadm.editors.RealmsHelper
aggregateHelpers=false
unremovable=true