update to spring 4.0.1 GA