merge https://github.com/jbosstools/jbosstools-locus/pull/21 into master: Simplify management of target-platforms (by @mistria) >> master