java/jxgrabkey: overwrite source- and target-versions on command-line.
The author's properties file (from 2010) sets source- and target-versions
to 1.5, which is too old for JDK-1.7, for example. Instead of
patching the properties-file, overwrite the two settings on
command-line. Use the conservative value of 1.7...