[jbosstools-dev] Please ignore recent (before 1pm today) failures on *_41 jobs