Community
Participate
Working Groups
Switch ASTs to JLS14 in api tools
New Gerrit change created: https://git.eclipse.org/r/160667
Gerrit change https://git.eclipse.org/r/160667 was merged to [master]. Commit: http://git.eclipse.org/c/pde/eclipse.pde.ui.git/commit/?id=705a8a1e2b6a10428bbea37d2e3f9431cdc7503b
verified by code inspection