The implementation of the JaQu (Java Query) tool.