Method resourceUnloaded

src/main/java/gate/corpora/CorpusImpl.java:790–796

(CreoleEvent e)

  }

  @Override
  public void resourceUnloaded(CreoleEvent e) {
    Resource res = e.getResource();
    // remove all occurences
    if(res instanceof Document) while(contains(res))
      remove(res);
  }

  @Override
  public void resourceRenamed(Resource resource, String oldName, String newName) {