GROOVY-5816 Add an "encoding" option for Groovydoc tool and Ant task