Warning:
SETools 4.0 is still in early development. The API, classes, package names,
etc. should be considered unstable, and should not be used for external
applications yet.