Update Spring Version number to 4.0.1

This should have been in the last pull request, sorry.