Add AdaCore to list