Remove invalid chars in documentation to pass the JDK7 encoding checking