Add SSLv3-disabling bits to all copies of jetty.xml