Dirk Beyer, Thomas Lemberger, Henrik Wachowitz: Reproduction Package for TACAS 2024 Submission 'CPA-Daemon: Mitigating Tool Restarts for Java-Based Verifiers'. Zenodo 2023