[jbosstools-dev] Question of the day: How to find out which version of a plugin we have in target platform