Spelling correction in JavaDoc