# Property file for default HTTP resource editing
shelper=org.w3c.jigadmin.editors.ControlServerHelper
tooltip=Save, Stop...
