Third party tools

As part of development for the Eclipse ESCET project, several third party tools are used. They are used to e.g. run scripts, generate files, etc.

The following third party tools are used to run scripts:

The following third party tools are used to build:

The following third party tools are used to generate/convert images:

The following third party tools are used to build some of the documentation:

The following third party tools are used to generate test classes and package them into a JAR file, for certain tests:

Most of these tools are not needed to run a build or run the tests, as the generated files (e.g. images) are committed into Git.