What device will keep air in the tanks if the air compressor develops a leak?