# Property file for default HTTP resource editing
class=org.w3c.jigadmin.editors.ServerEditor
