(Backends) Improve javadoc.