Adjustments for deployment, in javadocs and in UTF-8 encoding.