PluginListener.java
01 package gate.event;
02 
03 import java.net.URL;
04 
05 public interface PluginListener {
06 
07   public void pluginLoaded(URL url);
08     
09   public void pluginUnloaded(URL url);
10 }