Next week I install into a new jboss server tools ...do I get the exact same bits as the one I downloaded a week ago ? or is this a new set of binaries just with the same 4.3.0 number ?
With https://issues.jboss.org/browse/JBIDE-22689 and
https://issues.jboss.org/browse/JBIDE-19056, it's the same bits.