Leonardo/Micro CDC

Hello,

Does anyone know if Arduino is using LUFA library for its virtual serial CDC class USB ?