Crown OTP test instructions for Ubuntu 22.04 LTS or newer

On a fresh install of Ubuntu:

Download relevant programs and dependencies, and monkey-patch the test suite:
  Run in terminal:
    cd && wget https://mirror.dogado.de/eclipse/oomph/epp/2023-12/R/eclipse-inst-jre-linux64.tar.gz
    sudo apt install --yes openjdk-22-jdk-headless junit5 git
    git clone https://github.com/sophieschmieg/abca.git
    a="https"; b="pastebin"; c="com"; wget "${a}://${b}.${c}/raw/SFdWjEAk" -O ~/abca/src/test/java/fields/tests/CrownOTPTest.java
    tar xf eclipse-inst-jre-linux64.tar.gz && cd eclipse-installer/ && ./eclipse-inst

Install Eclipse:
  In Eclipse installer
    Select "Eclipse IDE for Java Developers"
    Press "INSTALL"
    Press "Accept Now"
    Wait for the installation to complete
    Press "Launch"

Launch Eclipse:
    Check the box next to "Use this as the default and do not ask again"
    Press "Launch"
    Close the welcome tab in Eclipse (and browser window for donations if it pops up)

Open the ABCA project in Eclipse:
    Go to File menu and press "Open Projects from File System..."
    On line that says  "Import source", press "Directory..."
    Navigate to /home/<user>/abca, and press "Open"
    Press "Finish"

Configure the runtime environment:
    In bottom center under "Problems" tab
        Expand "Errors (2 items)"
        Right-click "Unbound classpath container", and select "Quick Fix"
        Select "Configure build path..." and press "Finish"
    In "Properties for ABCA"
        Under "Order and Export" tab
            Check the box next to "JUnit 5"

        Change to "Libraries" tab, there
            Select the "JRE System Library [JavaSE-12] (unbound)"
            Press "Remove"
            Click on "Modulepath"
            Press "Add Library..."

            In "Add Library" screen
                Select "JRE System Library"
                Press "Next"
                Select "Workspace default JRE (java-22-openjdk-amd64)"
                Press "Finish"
            Press "Apply and Close"

Open the IDE for Crown-OTP testing:
    Navigate with "Package Explorer" (on left side of the window) to
        ">ABCA [abca master]"
        -> "src/test/java"
        -> "fields.tests"
    Double-click on CrownOTPTest.java

Run the tests:
    Right-click line 20 that says "class CrownOTPTest {"
    Do not press, but hover mouse over "Run As"
    In the expanding pop-up menu, press "JUnit Test".
    See the Console below for the test suite output.