Documentation TaskDoc JavaDoc Packages
  2. Introduction
  3. Installation

Installation has a single and only dependency on the Java Runtime Environment (JRE). In order to use it you first need to install it for your operating system of choice.

  1. Install an appropriate Java Development Kit (version 8+)
  2. Download the distribution
  3. Run java -jar

You can also use command line tools to download a release with a specific version:


curl -L -o


Invoke-WebRequest "" -OutFile

You can also use the following commands to download the latest version:


curl -L$(curl -s -o


Invoke-WebRequest "$((Invoke-WebRequest "" -UseBasicParsing).Content)" -OutFile

The system can also be added to the supported IDEs as plugins.

Java requires the minimum JRE version of 8. You can download it from or from the Oracle Website. You can also use other installation mechanisms depending on your environment, but in the end, make sure to have a properly configured JVM installed on your machine.

When you're given the choice whether you want to install the JRE or JDK (Java Development Kit), we recommend choosing JDK, as that enables compiling Java sources and contains other development tools.

The build system is distributed as a single self-contained Java Archive. You can download the latest release JAR file using this link.

You can also download older releases by visiting the release archive.

IDEs support is available for the following Integrated Development Environment(s).

IntelliJ IDEs system plugin is available for various JetBrains IDEs. The plugin is available on the JetBrains plugin marketplace. Use the following steps to install:

  1. Open the File > Settings dialog.
  2. Select the Plugins page.
  3. On the Marketplace tab, search for
  4. Select and install the system plugin.
  5. Restart the IDE.

See the IntelliJ plugin section for alternative installations and more information.


The steps to install the plugin for Eclipse are the following:

  1. Open Eclipse and select the Help > Install New Software... menu.
  2. Enter the link for the update site. ("Work with:" textbox)
  3. Select the plugins and install them.
    • If you don't see the plugins, uncheck 'Group items by category'. (Eclipse bugs may cause categories to not show up.)
  4. See the Eclipse plugin introduction for getting started.