Fedora RPM package for JBoss Tools