jruby: Update from 1.6.5.1 to 1.7.12
Merge pull request #2350 from wizeman/u/upd-jruby

jruby: Update from 1.6.5.1 to 1.7.12