Update of javadocs, especially since API now more stable.