[jbosstools-dev] New JBTIS target platform available - JBTIS-TP-4.2.0.Beta2b