Work around JRuby problem