jbosstools/jbosstools-central — pull request #243 by mickaelistria (2014-06-03 17:03:57+00:00)
Title: JBIDE-17496 JBIDE-17504: Prevent from parallel loading of same repo

This is a workaround to avoid p2 bug 436378