Set encoding for Javadoc