ConfigurationException.java

package dgm.exceptions;

/**
 * Something is wrong while loading the {@link dgm.configuration.Configuration}.
 */
public class ConfigurationException extends DegraphmalizerException
{
    public ConfigurationException(String msg)
    {
        super(msg);
    }
}