Specify Encoding in Clover Configuration