The following three steps are required to use Ekstazi Ant task in a project's build.xml file.
Note that JUnit task has to declare "fork" to be true, otherwise the build will fail. This is required, as Ekstazi needs to pass additional options to JVM. However, "forkmode" can be set to any value (see JUnit Ant task), e.g., "once".
Ekstazi Ant task currently supports "fileset" and "multirootfileset" resource collection inside "batchtest", which are the most common cases.