Specify Encoding in Clover Configuration

This includes setting the Javac executable.