Specify Encoding in Clover Configuration

This includes setting the Javac executable.
This is an unfortunate oversight.  Sorry, will fix.