This is the first time in years where we DID NOT do a .Final release on SR0 bits, then simply do minor/maintenance updates to SR1 & SR2. Because of that, we never released the Beta2 TP (SR0) as .Final to use as a "build baseline" while using the CR1 TP (SR1) for testing and JBDS installer builds.
So... we SHOULD have been building w/ SR0, but then we might not have noticed/caught the Jetty thing. Depending on users having SR1 means that if they have SR0 and try to install JBT 4.3 / JBDS 9 they will likely be prompted to updated their Eclipse as part of that install (to get newer deps like Jetty 9.2.13).
But other than that example I'm confident that (hopefully) everyone's plugins in JBT/JBDS still set version ranges such that they are compatible with Mars.0, .1, or .2.