Fix JRUBY-7113.