#200 Duplicate plugin paths in persisted application files

[Johann Petrak]

GATE 8.1: there are situations where a gapp/xgapp file gets stored by GATE and it contains exactly the same plugin path twice.
The entries are exactly the same, the paths are character-by-character identical.
When loading such a file, there is only one "plugin loaded" message for such a plugin in the message pane.
Saving that application again then does remove the duplicate entries. Need to find the situation that causes duplicate entries to get saved.

[Johann Petrak]

Fixed as of r18791

[Johann Petrak]

Actually the change in r18791 is more of a work-around, there is probably a better way to prevent the plugins to get loaded several times in the plugin manager.
So leaving this open for now.

[Mark Greenwood]

with the whole plugin mechanism having changed this is probably irrelevant and I believe even with directory plugins the changes means this is no longer an issue