Release JBoss Tools 4.2.0.CR1
JBDS release 8.0.0.CR1