change: Use the 10.0-RELEASE repository.