This is actually fixed by adding the appropriate spring source repos.