eclipse plugin path preference, modifed plugin loader to only keep unique plugins