jruby: Update from 1.6.5.1 to 1.7.12