jbosstools/jbosstools-server — pull request #310 by dgolovin (2014-12-03 00:27:32+00:00)
Title: JBIDE-18865 Fix jbosstools-server build

fix renamed plugin reference in feature.xml