Lists of 46 third-party dependencies. (BSD License) AntLR Parser Generator (antlr:antlr:2.7.7 - http://www.antlr.org/) (Apache License 2.0) compiler (com.github.spullara.mustache.java:compiler:0.9.5 - http://github.com/spullara/mustache.java) (The Apache Software License, Version 2.0) FindBugs-jsr305 (com.google.code.findbugs:jsr305:1.3.9 - http://findbugs.sourceforge.net/) (Apache 2.0) Gson (com.google.code.gson:gson:2.6.2 - https://github.com/google/gson/gson) (Apache 2.0) error-prone annotations (com.google.errorprone:error_prone_annotations:2.0.18 - http://nexus.sonatype.org/oss-repository-hosting.html/error_prone_parent/error_prone_annotations) (The Apache Software License, Version 2.0) Guava: Google Core Libraries for Java (com.google.guava:guava:22.0 - https://github.com/google/guava/guava) (The Apache Software License, Version 2.0) J2ObjC Annotations (com.google.j2objc:j2objc-annotations:1.1 - https://github.com/google/j2objc/) (Unicode/ICU License) ICU4J (com.ibm.icu:icu4j:58.2 - http://icu-project.org/) (Apache License, Version 2.0) Apache Commons CLI (commons-cli:commons-cli:1.4 - http://commons.apache.org/proper/commons-cli/) (Apache License, Version 2.0) Apache Commons IO (commons-io:commons-io:2.5 - http://commons.apache.org/proper/commons-io/) (The Apache Software License, Version 2.0) Commons Lang (commons-lang:commons-lang:2.6 - http://commons.apache.org/lang/) (Unknown license) fontawesomefx-commons (de.jensd:fontawesomefx-commons:8.15 - no url defined) (Unknown license) fontawesomefx-materialdesignfont (de.jensd:fontawesomefx-materialdesignfont:1.7.22-4 - no url defined) (gpl_v3) keydeps (edu.kit.iti.formal.psdbg:keydeps:1.0 - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/keydeps) (gpl_v3) Language Foundations (edu.kit.iti.formal.psdbg:lang:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/lang) (gpl_v3) lint (edu.kit.iti.formal.psdbg:lint:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/lint) (gpl_v3) matcher (edu.kit.iti.formal.psdbg:matcher:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/matcher) (gpl_v3) rt (edu.kit.iti.formal.psdbg:rt:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/rt) (gpl_v3) rt-key (edu.kit.iti.formal.psdbg:rt-key:0.1-SNAPSHOT - https://git.scc.kit.edu/sarah.grebing/ProofScriptParser/rt-key) (GNU LGPL 2.1) tuProlog (it.unibo.alice.tuprolog:tuprolog:3.2.1 - http://tuprolog.unibo.it) (Eclipse Public License 1.0) JUnit (junit:junit:4.12 - http://junit.org) (Unknown license) key.core (key-project-psdbg:key.core:2.7-SNAPSHOT - no url defined) (Unknown license) key.ui (key-project-psdbg:key.ui:2.7-SNAPSHOT - no url defined) (Unknown license) key.util (key-project-psdbg:key.util:2.7-SNAPSHOT - no url defined) (Unknown license) recoder (key-project-psdbg:recoder:2.7 - no url defined) (The BSD License) JavaCC (net.java.dev.javacc:javacc:4.0 - http://javacc.dev.java.net/) (BSD 3-Clause "New" or "Revised" License (BSD-3-Clause)) abego TreeLayout Core (org.abego.treelayout:org.abego.treelayout.core:1.0.3 - http://treelayout.sourceforge.net) (BSD licence) StringTemplate 4 (org.antlr:ST4:4.0.8 - http://www.stringtemplate.org) (BSD licence) ANTLR 3 Tool (org.antlr:antlr:3.5.2 - http://antlr.org/antlr) (BSD licence) ANTLR 3 Runtime (org.antlr:antlr-runtime:3.5.2 - http://www.antlr.org) (The BSD License) ANTLR 4 Tool (org.antlr:antlr4:4.7 - http://www.antlr.org) (The BSD License) ANTLR 4 Runtime (org.antlr:antlr4-runtime:4.7 - http://www.antlr.org/antlr4-runtime) (The Apache Software License, Version 2.0) Commons Lang (org.apache.commons:commons-lang3:3.0 - http://commons.apache.org/lang/) (The Apache Software License, Version 2.0) Apache Log4j API (org.apache.logging.log4j:log4j-api:2.6 - http://logging.apache.org/log4j/2.x/log4j-api/) (The Apache Software License, Version 2.0) Apache Log4j Core (org.apache.logging.log4j:log4j-core:2.6 - http://logging.apache.org/log4j/2.x/log4j-core/) (MIT license) Animal Sniffer Annotations (org.codehaus.mojo:animal-sniffer-annotations:1.14 - http://mojo.codehaus.org/animal-sniffer/animal-sniffer-annotations) (The 3-Clause BSD License) ControlsFX (org.controlsfx:controlsfx:8.40.12 - http://www.controlsfx.org/) (gpl_v3) DockFX (org.dockfx:DockFX:0.1.12 - https://github.com/ClearControl/DockFX.git) (The BSD 2-Clause License) Flowless (org.fxmisc.flowless:flowless:0.6 - http://www.fxmisc.org/flowless/) (GPLv2 with the Classpath Exception) (The BSD 2-Clause License) RichTextFX (org.fxmisc.richtext:richtextfx:1.0.0-SNAPSHOT - http://www.fxmisc.org/richtext/) (The BSD 2-Clause License) UndoFX (org.fxmisc.undo:undofx:1.3.1 - http://www.fxmisc.org/undo/) (The BSD 2-Clause License) WellBehavedFX (org.fxmisc.wellbehaved:wellbehavedfx:0.3 - http://www.fxmisc.org/wellbehaved/) (Dual license consisting of the CDDL v1.1 and GPL v2) JSR 353 (JSON Processing) Default Provider (org.glassfish:javax.json:1.0.4 - http://jsonp.java.net) (New BSD License) Hamcrest Core (org.hamcrest:hamcrest-core:1.3 - https://github.com/hamcrest/JavaHamcrest/hamcrest-core) (The MIT License) Project Lombok (org.projectlombok:lombok:1.16.16 - https://projectlombok.org) (The BSD 2-Clause License) ReactFX (org.reactfx:reactfx:2.0-M5 - http://www.reactfx.org/)