fix SpringSource->Pivotal