Eclipse Target Platforms for the JBoss Tools project