A .sh3f file is actually a zip file. So either you extract it with a zip utility or you rename .sh3f extension to .zip, extract the .properties file, edit it with a text editor, rezip everything and change back the extension to .sh3f.