Method resourceLoaded

src/main/java/gate/gui/CorpusEditor.java:312–318

(CreoleEvent e)

    Gate.getCreoleRegister().addCreoleListener(new CreoleListener() {
      @Override
      public void resourceLoaded(CreoleEvent e) {
        if (e.getResource() instanceof Document) {
          documentsLoadedCount++;
          changeMessage();
        }
      }
      @Override
      public void resourceUnloaded(CreoleEvent e) {
        if (e.getResource() instanceof Document) {