upgrade jruby to 1.7.12