big javadoc cleanup; removing ascii endoded html characters