Work around JRuby bug.