RepositoryManager.removeRepository(String repositoryID)
Copyright © 2015-2018 Eclipse Foundation. All Rights Reserved.