com.sri.gradle.daikon.extensions (daikon-gradle-plugin 0.0.1-SNAPSHOT API)