Better use of the Retrotranslator plugin.

The JKD1.4 jars are always created. By default, there is no verification.
When the "retrotranslator" profile is called, the verification is done. Thus, this
profile require the property path.to.rt.jar to be set.