Update to jRuby 1.7.2