IModule.java

package cz.cuni.lf1.lge.ThunderSTORM;

public interface IModule {
  
}