Change in jenkins[master]: Don't build RPMs for the JBoss modules Maven plugin