[jbosstools-dev] Packaging JBoss Tools for Fedora (issue & potential patches)