MULE-7189: For some reasons previous changes were not picked up on push