Due to a major bug (#217) and a few minor ones (#218, #219, #220 and #221) we replaced the version of Spring IDE 1.2.5 available on the updatesite.

Torsten