UTF-8 encoding of javadocs

Created by: shroffk

Some of the source files contain characters that produce UTF8 encoding errors.

• we can replace the known instances of the use of these chars

• add UTF8 encoding check in maven (and ant)