Merge jbosstools-4.3.1.x branch into jbosstools-4.3.x branch

For jbosstools-openshift, ongoing work towards the JBoss Tools 4.3.1.Final release must happen on the jbosstools-4.3.1.x branch.
Once 4.3.0.Final has been released, the jbosstools-4.3.1.x branch must be merged into jbosstools-4.3.x branch, where subsequent commits will be pushed, until the 4.3.1.Final release.