1. fix javadoc encoding..