IResourceChangeListener.java

package org.erlide.engine;

public interface IResourceChangeListener {

    void handleChangedResources(ResourceChange delta);

}