updated jruby to 1.7.12