eclipse-ide: update to 4.3.1
eclipse-platform: update to 4.3.1
Merge pull request #2451 from eugenesan/eclipse

Update Eclipse to 4.3.1