Repository for target platforms used by JBoss Tools