Therefore we closed the majority of old issues, like this one here. If you think this issue is still valid and should be fixed or worked on, please feel free to file it as a new issue on GitHub (using the link above).

Martin Lippert
added a comment - 07/Apr/17 8:54 AM This project has moved its issue management to GitHub Issues:
https://github.com/spring-projects/spring-ide/issues
Therefore we closed the majority of old issues, like this one here. If you think this issue is still valid and should be fixed or worked on, please feel free to file it as a new issue on GitHub (using the link above).