JRuby 1.7.13

Switched back to sha1 as that's what JRuby announces at http://www.jruby.org/download.