Firemark: a Java Tool for SVG Watermarking