Upgrade eclipse-platform to v4.3.2
Merge pull request #3611 from nhjk/update-eclipse-platform

Upgrade eclipse-platform to v4.3.2