[jbosstools-dev] Upcoming target platform based on Kepler SR1 (RC1/RC2)