JBDS-2685 new SpringIDE 3.3 features (not in SpringIDE 3.2). If we decide to move up to 3.3, this PR needs to be applied; if not, it should be rejected. >> master