More information on format upgrades in Javadoc.