List of plug-ins must be stored in etc/settings.xml
Detected in build:
Published in build:
List of MicroTESK plugins is stored in config.xml included in JAR's resources. As a result, it cannot be modified. The format of config.xml looks like this:
<config> <plugin class="ru.ispras.microtesk.mmu.MmuPlugin"/> </config>
This information must be stored in etc/settings.xml.