The JavaDocs published at [1] are missing several classes. For example,
@ManagedBean and @RequestScoped are missing, while the @FacesComponent is
available.
I haven't looked at other missing things, but at least all managed bean
annotations are missing.