| [eclipse-dev] BETA_JAVA7 branch has been moved to HEAD and R3_7_maintenance |
The BETA_JAVA7 branch has been merged to HEAD and R3_7_maintenance. If all goes well, all upcoming builds will fully support Java 7 development (if you have a Java 7 JRE installed, of course). Enjoy, Markus