Merged the SPARK folder into the Ada folder. With SPARK 2014 it doesn't make sense to distinguish them here.