Mavenized Terrier-core, version 4.0 of Terrier