Fix JavaDoc charset.