Fixed issue #117.

Priority comparisons are now carried out for plugins that conflict,
unless a plugin is empty, in which case comparison takes place anyway.