Added SemDiffPlugin.jar