Update JRuby to 1.7.3

JRuby 1.7.3 came out today:
https://twitter.com/jruby/statuses/304644544199274496