module de.renew.fa {
    // Provided Packages
    exports de.renew.fa;
    exports de.renew.fa.figures;

    opens de.renew.fa.images;

    // Renew Dependencies
    requires de.renew.faformalism;
    requires de.renew.gui;
    requires de.renew.simulator.api;

    // Java Dependencies
    requires java.desktop;
    requires java.rmi;

    // Third-Party Dependencies
    requires ch.qos.reload4j;
    requires automata.distribution;
    requires de.renew.propertymanagement;
}