Changed versions.
Updated generated documentation (developer 4.0).