History bootstrap-ecj-stringswitch.patch