Improved RepositoryManager javadocs.