Re: [jbosstools-dev] Moving to Tycho 0.13.0 / Source plugin generation