phibei ,
Sorry, we do not have a dashboard view which lists the supported technologies for each version of MyEclipse.
The ME4S version that supports Java 1.7 will be available in a week. For now, you can install 10.0.1 and add the “MyEclipse for Spring” component from the MyEclipse Configuration Center > DashBoard.
Here is the FAQ to install MyEclipse 10.0.1:
https://www.genuitec.com/forums/topic/myeclipse-10-0-1-milestone-is-now-available/
Let us know if you have any issues.