jruby 1.7.3, fixes #9